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

by M Kifer, G Lausen
Venue:In: SIGMOD ’89: Proceedings of the 1989 ACM SIGMOD international conference on Management of data