"Saturation-Based Theorem Proving: Past Successes and Future Potential ..."

Harald Ganzinger (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics