C. David Page Jr., Alan M. Frisch. Generalizing Atoms in Constraint Logic. In KR. pages 429-440, 1991.
@inproceedings{PagePF91, title = {Generalizing Atoms in Constraint Logic}, author = {C. David Page Jr. and Alan M. Frisch}, year = {1991}, tags = {constraints, C++, logic}, researchr = {https://researchr.org/publication/PagePF91}, cites = {0}, citedby = {0}, pages = {429-440}, booktitle = {KR}, }