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]

Abstract

Abstract is missing.