Kenneth A. Ross. A Syntactic Stratification Condition Using Constraints. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 76-90, 1994.
@inproceedings{Ross94:3, title = {A Syntactic Stratification Condition Using Constraints}, author = {Kenneth A. Ross}, year = {1994}, tags = {constraints}, researchr = {https://researchr.org/publication/Ross94%3A3}, cites = {0}, citedby = {0}, pages = {76-90}, booktitle = {Workshop on Design and Impl. of Parallel Logic Programming Systems}, }