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]
No references recorded for this publication.
No citations of this publication recorded.