Jump to content

Bibtex:Ohlebusch01: Difference between revisions

From Termination-Portal.org
No edit summary
No edit summary
 
(6 intermediate revisions by 2 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>
<!-- Please add the BibTeX data below this comment. -->
@article{Ohlebusch01,
@article{Ohlebusch01,
   AUTHOR    = {E. Ohlebusch},
   AUTHOR    = {E. Ohlebusch},
Line 11: 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. -->
 
[[Category:Bibtex]]
[[Category:BibtexNews]]    <!-- remove this line if this is not a new publication -->
 
<!-- 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>