07401 Abstracts Collection -- Deduction and Decision Procedures.
F. Baader, B. Cook, J. Giesl, и R. Nieuwenhuis. Deduction and Decision Procedures, том 07401 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)