Walter Hower Introduction to non-standard constraint processing. 1-3 1998 10 J. Exp. Theor. Artif. Intell. 1 db/journals/jetai/jetai10.html#Hower98