Evaluating linear-recursive logic queries against cyclic relations - Gery, Eram; Raz, Yoav (1986)