Formal theory building using automated reasoning tools (1998)

by J Kamps
Venue:Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR’98), 478–487