From prolog algebras towards wam - a mathematical study of implementation (1990)

by E Börger, D Rosenzweig
Venue:In CSL’90