Reasoning with Arbitrary Objects (1985)

by Kit Fine