Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse. Search algorithms for automated validation. Journal of Logic and Algebraic Programming, 78(4):274-287, 2009. [doi]
@article{EngelsGWW09,
title = {Search algorithms for automated validation},
author = {Tom A. N. Engels and Jan Friso Groote and Muck van Weerdenburg and Tim A. C. Willemse},
year = {2009},
doi = {10.1016/j.jlap.2008.11.003},
url = {http://dx.doi.org/10.1016/j.jlap.2008.11.003},
tags = {C++, search},
researchr = {https://researchr.org/publication/EngelsGWW09},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {78},
number = {4},
pages = {274-287},
}