@article{Antoy11ICLP,
  author    = {S. Antoy},
  title     = {On the Correctness of Pull-Tabbing},
  journal   = {TPLP},
  volume    = {11},
  number    = {4-5},
  year      = {2011},
  pages     = {713-730},
  ee        = {http://dx.doi.org/10.1017/S1471068411000263},
  abstract  = {
        Pull-tabbing is an evaluation approach for functional
        logic computations, based on a graph transformation recently proposed,
        which avoids making irrevocable non-deterministic
        choices that would jeopardize the completeness of computations.
        In contrast to other approaches with this property, it does not
        require an upfront cloning of a possibly large portion of the
        choice's context.
        We formally define the pull-tab transformation,
        characterize the class of programs for which the transformation
        is intended, extend the computations in these programs
        to include the transformation, and prove the correctness
        of the extended computations.}
}