Jim Cox Ken McAloon Carol Tretkoff Computational Complexity and Constraint Logic Programming Languages. 163-189 1992 5 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai5.html#CoxMT92