An Abstra t De ision Pro edure for Satis ability in the Theory ofRe ursive Data

@inproceedings{Barrett2013AnAT,
  title={An Abstra t De ision Pro edure for Satis ability in the Theory ofRe ursive Data},
  author={T Barrett and Igor Shikanian and Cesare Tinelli},
  year={2013}
}