A Technique of State Space Search Based on Unfolding

Kenneth L. McMillan. A Technique of State Space Search Based on Unfolding. Formal Methods in System Design, 6(1):45-65, 1995.

Abstract

Abstract is missing.