Unfold/fold Transformations for Disjunctive Logic Programs

Manolis Gergatsoulis. Unfold/fold Transformations for Disjunctive Logic Programs. Inf. Process. Lett., 62(1):23-29, 1997. [doi]

Abstract

Abstract is missing.