F-Logic: a Higher-Order Language for Reasoning about Objects, Inheritance and Schema (1989)

by M Kifer, G Lausen
Venue:In ACM SIGMOD Conference on Management of Data