Some Issues in the Control of Interactive Differential Diagnosis. - Pedro Barahona; Mario Veloso; Ricardo Amador; Francisco Menezes (AIME, 1989)

Constraint Solving in Finite Domains under User Control. - Francisco Menezes; Pedro Barahona (EPIA, 1991)

Preliminary Formalization of an Incremental Hierarchical Constraint Solver. - Francisco Menezes; Pedro Barahona (EPIA, 1993)

An Incremental Hierarchical Constraint Solver. - Francisco Menezes; Pedro Barahona; Philippe Codognet (PPCP, 1993)

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently. - Francisco Menezes; Pedro Barahona (Ann. Oper. Res., 1994)

Defeasible Constraint Solving. - Francisco Menezes; Pedro Barahona (Over-Constrained Systems, 1995)

Defeasibility in CLP(Q) through Generalized Slack Variables. - Christian Holzbaur; Francisco Menezes; Pedro Barahona (CP, 1996)