Reasoning with Arbitrary Objects (1985)

by K Fine