Linearization of Nonlinear Recursive Rules. - Daniel Troy; Clement T. Yu; Weining Zhang (IEEE Trans. Software Eng., 1989)

Necessary and Sufficient Conditions to Linearize Double Recursive Programs in Logic Databases. - Weining Zhang; Clement T. Yu; Daniel Troy (ACM Trans. Database Syst., 1990)

Problem 11378. - Daniel Troy (Am. Math. Mon., 2008)