Jump to content

Bibtex:Ohlebusch01: Difference between revisions

From Termination-Portal.org
No edit summary
No edit summary
Line 12: Line 12:
   ADDRESS  = {Heidelberg},
   ADDRESS  = {Heidelberg},
</bibtex>
</bibtex>
[[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 -->
<!-- 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. -->

Revision as of 21:30, 29 March 2008

<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>