Lazy techniques for fully expansive theorem proving (1993)

by Richard J Boulton
Venue:Formal Methods in System Design, 3(1/2):25–47