Structured theory development for a mechanized logic (2001)

by M Kaufmann, J S Moore
Venue:Journal of Automated Reasoning