BibTeX
@proceedings{DBLP:conf/dagstuhl/2005P5431,
editor = {Franz Baader and
Peter Baumgartner and
Robert Nieuwenhuis and
Andrei Voronkov},
title = {Deduction and Applications, 23.-28. October 2005},
booktitle = {Deduction and Applications},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
volume = {05431},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-07-20 by Michael Ley (ley@uni-trier.de)