Generic automatic proof tools (1997)

by Lawrence C Paulson
Venue:Automated Reasoning and its Applications: Essays in Honor of Larry Wos, chapter 3