Title of article :
Unfold/fold transformations for disjunctive logic programs
Author/Authors :
Manolis Gergatsoulis، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1997
Keywords :
Programming calculi , Partial deduction , Disjunctive logic programs , Program transformations
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters