Difference between revisions of "Bibtex:Ohlebusch01"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ...)
 
 
(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>
<!-- Please add the BibTeX data below this comment. -->
 
 
@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},
  IN        = {svdlcjklnds},
 
 
   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. -->
 
 
[[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

E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited

Applicable Algebra in Engineering, Communication and Computation 12(1--2):73--116, Heidelberg,2001
Bibtex
Author : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : Applicable Algebra in Engineering, Communication and Computation -
Address : Heidelberg
Date : 2001