F-logic: A higher-order language for reasoning about objects, inheritance and scheme (1989)

by M Kifer, G Lausen
Venue:Department of Computer Science, State University of New York