F-logic: a higher-order language for reasoning about objects, inheritance, and scheme - Kifer, M; Lausen, G (ACM SIGMOD Record, 1989)