@inproceedings{conf/dagstuhl/GieslSTSNSS07,
	title = {Termination of Programs using Term Rewriting and SAT Solving.},
	author = {Jürgen Giesl and Peter Schneider-Kamp and René Thiemann and Stephan Swiderski and Manh Thang Nguyen and Danny De Schreye and Alexander Serebrenik},
	booktitle = {Deduction and Decision Procedures},
	crossref = {conf/dagstuhl/2007P7401},
	editor = {Franz Baader and Byron Cook and Jürgen Giesl and Robert Nieuwenhuis},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7401.html#GieslSTSNSS07},
	volume = {07401},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2cf24d2c734b81d73ddc6c809ced4b229/dblp},
	description = {dblp},
	date = {2008-05-15}, ee = {http://drops.dagstuhl.de/opus/volltexte/2007/1248},
	keywords = {dblp }
}