A Syntactic Stratification Condition Using Constraints

Kenneth A. Ross. A Syntactic Stratification Condition Using Constraints. In Workshop on Design and Impl. of Parallel Logic Programming Systems. pages 76-90, 1994.

Abstract

Abstract is missing.