Assertion-time inference in logic-based systems (1989)

by B Elfrink, H Reichgelt
Venue:In Logic Based Knowledge Representation