Hyperproof - Barwise Jon; Etchemendy John (Stanford Center for the Study of Language and Information Pub., 1994)
Program by Gerard Allwein, Mark Greaves and Michael Lenz with additional programming by Alan Bush, Douglas Felt, Adrian Klein, Christopher Phoenix, Mark Ravaglia and Rick Wong
Keywords: Hyperproof