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

by M Kifer, G Lausen
Venue:In Proc. ACM SIGMOD Conf. on Management of Data