@article{Benhamou_1994,
    doi = {10.1007/bf00881844},
    url = {https://doi.org/10.1007%2Fbf00881844},
    year = {1994},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {12},
    number = {1},
    pages = {89--102},
    author = {Belaid Benhamou and Lakhdar Sais},
    title = {Tractability through symmetries in propositional calculus},
    journal = {Journal of Automated Reasoning}
}

@article{Benhamou_1994, doi = {10.1007/bf00881844}, url = {https://doi.org/10.1007%2Fbf00881844}, year = {1994}, publisher = {Springer Science and Business Media {LLC}}, volume = {12}, number = {1}, pages = {89--102}, author = {Belaid Benhamou and Lakhdar Sais}, title = {Tractability through symmetries in propositional calculus}, journal = {Journal of Automated Reasoning} }