Solving systems of set constraints, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, 1992. ,
DOI : 10.1109/LICS.1992.185545
Set constraints are the monadic class, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. ,
DOI : 10.1109/LICS.1993.287598
The Constraint Logic Programming Language CHIP, FGCS, Japan, 1988. ,
Embedding Extensional Finite Sets in CLP, ILPS'93, 1993. ,
DOI : 10.1007/978-3-540-24599-5_20
Computers and intractability, A guide to the theory of NP-completeness, pp.124-130, 1979. ,
A Compendium of Continuous Lattices, 1980. ,
DOI : 10.1007/978-3-642-67678-9
A decision procedure for a class of set constraints, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.300-309, 1991. ,
DOI : 10.1109/LICS.1990.113732
Constraint Satisfaction in Logic Programming. Logic Programming Series, 1989. ,
Operational semantics of constraint logic programming over finite domains, Proceedings of PLILP'91, pp.396-406, 1991. ,
DOI : 10.1007/3-540-54444-5_115
A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, issue.2-3, pp.291-321, 1992. ,
DOI : 10.1016/0004-3702(92)90020-X
Constraint Logic Programming, Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pp.111-119, 1987. ,
A language and a program for stating and solving combinatorial problems, Artificial Intelligence, vol.10, issue.1, pp.29-127, 1978. ,
DOI : 10.1016/0004-3702(78)90029-2
Short overview of the CLPS system, Proceedings of PLILP'91 3rd International Symposium on Programming Language Implementation and Logic Programming, 1991. ,
DOI : 10.1007/3-540-54444-5_123
Consistency in networks of relations, Artiicial Intelligence, 1977. ,
Rough Sets: Theoretical Aspects of Reasoning about Data. D: System theory, Knowledge engineering and Problem solving, 1991. ,
CLP(( ): Constraint Logic Programming with Regular Sets, ICLP'89, pp.181-190, 1989. ,