"DISCOUNT: A SYstem for Distributed Equational Deduction."

Jürgen Avenhaus, Jörg Denzinger, Matthias Fuchs (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics