Computational Logic: Structure Sharing and Proof of Program Properties (1973)

by J S Moore
Venue:Parts 1 and 2, DCL Memo 67, School of Arti Intelligence, Univ. of