F. Baader, B. Cook, J. Giesl, und R. Nieuwenhuis. Deduction and Decision Procedures, Volume 07401 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
F. Baader, B. Cook, J. Giesl, und R. Nieuwenhuis. Deduction and Decision Procedures, Volume 07401 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)