Satisfiability checking for PC(ID (2005)

by M Mariën, R Mitra, M Denecker, M Bruynooghe