Alain Colmerauer
-
Propagation Completeness of Reactive Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Local consistency for extended CSPs
Theoretical Computer Science