A technique of state space search based on unfolding (1995)

by K McMillan, D Probst
Venue:Formal Methods in System Design