Bibtex:Ohlebusch01: Difference between revisions
No edit summary |
No edit summary |
||
| 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
<bibtex> @article{Ohlebusch01,
AUTHOR = {E. Ohlebusch},
TITLE = {Termination of Logic Programs: Transformational Methods Revisited},
JOURNAL = {Applicable Algebra in Engineering, Communication and Computation},
VOLUME = {12},
NUMBER = {1--2},
PAGES = {73--116},
YEAR = {2001},
PUBLISHER = {Springer},
ADDRESS = {Heidelberg},
</bibtex>