Verifying Preferential Equivalence and Subsumption via Model Checking

@inproceedings{Santhanam2013VerifyingPE,
  title={Verifying Preferential Equivalence and Subsumption via Model Checking},
  author={Ganesh Ram Santhanam and Samik Basu and Vasant Honavar},
  booktitle={ADT},
  year={2013}
}