Kifer, M., and Lausden, G. ""F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema", pp134-146

[ACM] (1989) [ACM] Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, OR, May 1989  

Languages mentioned F-Logic {1989}