Unification of Idempotent Functions. - Stefan Kühner; Chris Mathis; Peter Raulefs; Jörg H. Siekmann (IJCAI, 1977)