Formal Theory Building Using Automated Reasoning Tools.” Pp. 478–87 in Principles of Knowledge Representation and Reasoning (1998)

by J Kamps
Venue:Proceedings of the Sixth International Conference (KR’98), edited by