Perfect model checking via unfold/fold transformations (2000)

by A Pettorossi, M Proietti
Venue:Proc. CL 2000, Lecture Notes in Artificial Intelligence 1861