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

Cached

Download Links

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