@article {3959,
	title = {Logic Programming Approach to Automata-Based Decision Procedures},
	journal = {Journal of Logic Programming},
	volume = {86},
	year = {2017},
	pages = {391--407},
	doi = {10.1016/j.jlamp.2016.02.005},
	author = {Gulay {\"U}nel and David Toman}
}
