Bibtex:Ohlebusch01: Difference between revisions
New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ... |
No edit summary |
||
| (7 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
[[Category:Bibtex| ]] | |||
[[Category:BibtexNews| ]] <!-- remove this line if this is not a new publication --> | |||
== BibTex == | |||
<!-- Please add the BibTeX data below this comment. --> | |||
<bibtex> | <bibtex> | ||
@article{Ohlebusch01, | @article{Ohlebusch01, | ||
AUTHOR = {E. Ohlebusch}, | AUTHOR = {E. Ohlebusch}, | ||
TITLE = {Termination of Logic Programs: Transformational Methods Revisited}, | TITLE = {Termination of Logic Programs: Transformational Methods Revisited}, | ||
JOURNAL = {Applicable Algebra in Engineering, Communication and Computation}, | JOURNAL = {Applicable Algebra in Engineering, Communication and Computation}, | ||
VOLUME = {12}, | VOLUME = {12}, | ||
NUMBER = {1--2}, | NUMBER = {1--2}, | ||
| Line 12: | Line 14: | ||
PUBLISHER = {Springer}, | PUBLISHER = {Springer}, | ||
ADDRESS = {Heidelberg}, | ADDRESS = {Heidelberg}, | ||
</bibtex> | </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | ||
<!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | |||
Latest revision as of 18:43, 31 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>