Knowledge representation languages and predicate calculus: How to have your cake and eat it too (1982)

by C Rich
Venue:In Proc. 2nd National Conf. on Artificial Intelligence