Computer Assisted Proof for Mathematics: an Introduction using the LEGO Proof System (1989)

by Rod Burstall
Venue:In Proc. of the Institute of Applied Math. Conf. on the Revolution in Mathematics caused by Computing