Claude Marché

• Constraints in computational logics