Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search| Line 1: | Line 1: | ||
| − | [[Category:Bibtex]] | + | [[Category:Bibtex| ]] |
| − | [[Category:BibtexNews]] <!-- remove this line if this is not a new publication --> | + | [[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --> |
== BibTex == | == BibTex == | ||
<bibtex> | <bibtex> | ||
Revision as of 14:29, 30 March 2008
BibTex
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
