Building-in equational theories (1972)

by G Plotkin
Venue:In Machine Intelligence