Termination Analysis of Logic Programs with Cut Using Dependency Triples

by Thomas Ströder, Jürgen Giesl, Peter Schneider-Kamp
Reference:
Termination Analysis of Logic Programs with Cut Using Dependency Triples (Thomas Ströder, Jürgen Giesl, Peter Schneider-Kamp), In Proceedings of the 11th International Workshop on Termination (Peter Schneider-Kamp, ed.), 2010.
Bibtex Entry:
@inproceedings{StroederGieslSchneider-Kamp2010,
  author     = {Str"{o}der, Thomas and Giesl, J"{u}rgen and {Schneider-Kamp}, Peter},
  title      = {Termination Analysis of Logic Programs with Cut Using Dependency Triples},
  booktitle  = {Proceedings of the 11th International Workshop on Termination},
  editor     = {{Schneider-Kamp}, Peter},
  year       = {2010},
  location   = {Edinburgh, UK}
}

Bookmark the permalink.