---
title: "Unification of Idempotent Functions"
authors:
  - "Stefan Kühner"
  - "Chris Mathis"
  - "Peter Raulefs"
  - "Jörg H. Siekmann"
doi: ""
url: "https://ijcai.org/proceedings/1977/120"
pdf: "https://ijcai.org/proceedings/1977/0120.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "528--1"
track: "Theorem Proving"
keywords:
---

# Unification of Idempotent Functions

Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 528--1.

## Abstract