Bibtex:Ohlebusch01

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>