Difference between revisions of "Bibtex:Ohlebusch01"

Latest revision as of 18:43, 31 March 2008

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

Applicable Algebra in Engineering, Communication and Computation 12(1--2):73--116, Heidelberg,2001

Author : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : Applicable Algebra in Engineering, Communication and Computation -
Address : Heidelberg
Date : 2001

@@ 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>
-<!-- Please add the BibTeX data below this comment. -->
 @article{Ohlebusch01,
    AUTHOR    = {E. Ohlebusch},
    TITLE     = {Termination of Logic Programs: Transformational Methods Revisited},
    JOURNAL   = {Applicable Algebra in Engineering, Communication and Computation},
-  IN        = {svdlcjklnds},
    VOLUME    = {12},
    NUMBER    = {1--2},
@@ Line 12: / Line 14: @@
    PUBLISHER = {Springer},
    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. -->