Lazy techniques for fully expansive theorem proving (1993)

by R J Boulton
Venue:Formal Methods in System Design 3