@inproceedings{conf/cav/BofillNORR08,
	title = {The Barcelogic SMT Solver.},
	author = {Miquel Bofill and Robert Nieuwenhuis and Albert Oliveras and Enric Rodríguez-Carbonell and Albert Rubio},
	booktitle = {CAV},
	crossref = {conf/cav/2008},
	editor = {Aarti Gupta and Sharad Malik},
	pages = {294-298},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cav/cav2008.html#BofillNORR08},
	volume = {5123},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2f32c8dafb264ceb22db7e6b79e846a5a/dblp},
	description = {dblp},
	date = {2008-07-08}, ee = {http://dx.doi.org/10.1007/978-3-540-70545-1_27}, isbn = {978-3-540-70543-7},
	keywords = {dblp }
}