Satisfiability checking for PC(ID (2005)

by M Mariën, R Mitra, M Denecker, M Bruynooghe
Venue:Proc. LPAR’05, volume 3835 of Lecture Notes in Artificial Intelligence