Jörg H. Siekmann Peter Szabó Universal Unification. 102-141 1982 conf/ki/1982 GWAI db/conf/ki/gwai1982.html#SiekmannS82