"System Description: Spass Version 1.0.0."

Christoph Weidenbach (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics