Transformational systems and the algebraic structure of atomic formulas (1970)

by J Reynolds
Venue:Machine Intelligence