Computational Complexity and Constraint Logic Programming Languages.

Jim Cox Ken McAloon Carol Tretkoff Computational Complexity and Constraint Logic Programming Languages. 401-415 1990 NACLP db/conf/slp/slp90.html#CoxMT90