Jeremy M. R. Martin A Tool for Checking the CSP sat Property. 13-23 2000 43 Comput. J. 1 db/journals/cj/cj43.html#Martin00