Jeremy M. R. Martin. A Tool for Checking the CSP sat Property. Comput. J., 43(1):13-23, 2000.
@article{Martin00:7, title = {A Tool for Checking the CSP sat Property}, author = {Jeremy M. R. Martin}, year = {2000}, researchr = {https://researchr.org/publication/Martin00%3A7}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {43}, number = {1}, pages = {13-23}, }