Specifying and solving Boolean constraint problems in relational databases: a case study. - James J. Lu; M. Jeremy Scoggins (ACM Southeast Regional Conference, 2006)