Nathaniel Love
Stanford University
Computer Science Department
Logic Group
Room 224 353 Serra Mall Stanford, CA 94305 .650 725 2602 .natlove@stanford.edu