@inproceedings {4977,
	title = {An Incremental Technique for Automata-Based Decision Procedures},
	booktitle = {Conference on Automated Deduction (CADE)},
	year = {2007},
	doi = {10.1007/978-3-540-73595-3_8},
	author = {Gulay {\"U}nel and David Toman}
}
