Kenneth L. McMillan. A Technique of State Space Search Based on Unfolding. Formal Methods in System Design, 6(1):45-65, 1995.
@article{McMillan95,
title = {A Technique of State Space Search Based on Unfolding},
author = {Kenneth L. McMillan},
year = {1995},
tags = {rule-based, search},
researchr = {https://researchr.org/publication/McMillan95},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {6},
number = {1},
pages = {45-65},
}