F-Logic: a higher-order language for reasoning about objects, inheritance, and scheme (1997)

by Michael Kifer , Georg Lausen
Citations:194 - 9 self