Necessary and Sufficient Conditions to Linearize Double Recursive Programs in Logic Databases

Weining Zhang, Clement T. Yu, Daniel Troy. Necessary and Sufficient Conditions to Linearize Double Recursive Programs in Logic Databases. ACM Trans. Database Syst., 15(3):459-482, 1990. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.