Satisfiability checking for PC(ID (2005)

by Maarten Mariën , Rudradeb Mitra , Marc Denecker , Maurice Bruynooghe
Venue:In LPAR
Citations:7 - 2 self