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

by M Kifer, G Laussen
Venue:In Proceedings of ACM-SIGMOD 1989