Skip to content

Universal Unification and a Class of Equational Theories.

Alexander Herold

Year1982
ProceedingsGWAI

Browse the full KI paper archive.