Building in equational theories (1972)

by G Plotkin
Venue:Machine Intelligence