et al. Proof theory at work: Program development in the Minlog system (1998)

by H Benl, U Berger, H Schwichtenberg
Venue:Automated Deduction, volume II