Lattice-Theoretic Properties of Subsumption. Memo MIP-R-77 (1970)

by G Plotkin