Construction of Logic Programs Based on Generalized Unfold/Fold Rules.

Tadashi Kanamori, Kenji Horiuchi

Browse the full ICLP paper archive.