["F-Logic: A Higher-Order Language for Reasoning about

Objects, Inheritance and Scheme", ACM SIGMOD May 1989,

pp. 134-146].