@article{Barrett_2007,
    doi = {10.3233/sat190028},
    url = {https://doi.org/10.3233%2Fsat190028},
    year = {2007},
    month = {jul},
    publisher = {{IOS} Press},
    volume = {3},
    number = {1-2},
    pages = {21--46},
    author = {Clark Barrett and Igor Shikanian and Cesare Tinelli},
    editor = {Byron Cook and Roberto Sebastiani},
    title = {An Abstract Decision Procedure for a Theory of Inductive Data Types},
    journal = {Journal on Satisfiability, Boolean Modeling and Computation}
}

@article{Barrett_2007, doi = {10.3233/sat190028}, url = {https://doi.org/10.3233%2Fsat190028}, year = {2007}, month = {jul}, publisher = {{IOS} Press}, volume = {3}, number = {1-2}, pages = {21--46}, author = {Clark Barrett and Igor Shikanian and Cesare Tinelli}, editor = {Byron Cook and Roberto Sebastiani}, title = {An Abstract Decision Procedure for a Theory of Inductive Data Types}, journal = {Journal on Satisfiability, Boolean Modeling and Computation} }