G. Kelleher, Anthony G. Cohn. Automatically Synthesising Domain Constraints from Operator Descriptions. In ECAI. pages 653-655, 1992.
@inproceedings{KelleherC92, title = {Automatically Synthesising Domain Constraints from Operator Descriptions}, author = {G. Kelleher and Anthony G. Cohn}, year = {1992}, tags = {constraints}, researchr = {https://researchr.org/publication/KelleherC92}, cites = {0}, citedby = {0}, pages = {653-655}, booktitle = {ECAI}, }