...
机译:Integrating Cardinality Constraints into Constraint Logic Programming with Sets
Universidad Nacional de Rosario and CIFASIS, Argentina;
Universita di Parma, Italy;
{log}; set theory; cardinality; formal verification; constraint logic programming;