@article{journals/corr/abs-0802-2127,
	title = {New Implementation Framework for Saturation-Based Reasoning},
	author = {Alexandre Riazanov},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0802.html#abs-0802-2127},
	volume = {abs/0802.2127},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/29c58163ac0eb6919981c19bf924c9f5b/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/0802.2127}, date = {2008-03-03},
	keywords = {dblp }
}