@inproceedings{conf/ijcai/RiazanovV01,
	title = {Splitting Without Backtracking.},
	author = {Alexandre Riazanov and Andrei Voronkov},
	booktitle = {IJCAI},
	crossref = {conf/ijcai/2001},
	editor = {Bernhard Nebel},
	pages = {611-617},
	publisher = {Morgan Kaufmann},
	url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2001.html#RiazanovV01},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/2bc836fe7405c0cd1508e7664168220b9/dblp},
	description = {dblp},
	isbn = {1-55860-777-3}, date = {2003-05-23},
	keywords = {dblp }
}