@incollection{PrologLoopsLNCS93,
  author = "David Sehr  and L.V. Kale and David A. Padua",
  title = "Loop Transformation for Prolog Programs",
  booktitle = "Lecture Notes in Computer Science",
  publisher = "Springer Verlag",
  pages = "374-389",
  year = "1993"
}