An Abstraction Mechanism for Symbolic Expressions (1991)

by M Sato
Venue:Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy