Inproceedings,

Generalized Unfold/fold Transformation Systems for Normal Logic Programs.

, , and .
ICLP, page 616. MIT Press, (1999)

Meta data

Tags

Users

  • @dblp

Comments and Reviews