Bibtex:Ohlebusch01: Difference between revisions
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
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}, | |||
VOLUME = {12}, | VOLUME = {12}, | ||
NUMBER = {1--2}, | NUMBER = {1--2}, | ||
Revision as of 18:38, 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>