Antoine Rauzy
-
Defeasible Constraint Solving over the Booleans
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence