Boolean satisfiability with transitivity constraints. (2002)

by R Bryant, M Velev
Venue:ACM Transactions on Computational Logic