Razvan Diaconescu. Category-based constraint logic. Mathematical Structures in Computer Science, 10(3):373-407, 2000.
@article{Diaconescu00, title = {Category-based constraint logic}, author = {Razvan Diaconescu}, year = {2000}, tags = {rule-based, constraints, logic}, researchr = {https://researchr.org/publication/Diaconescu00}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {10}, number = {3}, pages = {373-407}, }