"Polynomial Time Termination and Constraint Satisfaction Tests."

David A. Plaisted (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics