"EKL - A Mathematically Oriented Proof Checker."

Jussi Ketonen (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics