F-logic: a higher-order language for reasoning about objects, inheritance, and scheme, ACM SIGMOD Conference, 1989.
F-логика: язык высокого порядка для рассуждений об объектах, наследовании и схеме, ACM SIGMOD Конференция, 1989.