On the Unification Hierarchy.

Ronald V. Book, Jrg H. Siekmann

Browse the full KI paper archive.