@inproceedings{conf/fmcad/KroeningW07,
	title = {Lifting Propositional Interpolants to the Word-Level.},
	author = {Daniel Kroening and Georg Weissenbacher},
	booktitle = {FMCAD},
	crossref = {conf/fmcad/2007},
	pages = {85-89},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2007.html#KroeningW07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2b7e8c0700a367984d24c0120aa34ca8f/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.31}, date = {2008-02-11},
	keywords = {dblp }
}