@inproceedings {4981,
	title = {Logic Programming Approach to Automata-Based Decision Procedures},
	booktitle = {International Conference on Logic Programming (ICLP)},
	year = {2007},
	doi = {10.1007/978-3-540-74610-2_12},
	author = {Gulay {\"U}nel and David Toman}
}
