Bibtex:Ohlebusch01: Difference between revisions
New page: <bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: Transformational Methods ... |
No edit summary |
||
| Line 5: | Line 5: | ||
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}, | ||
VOLUME = {12}, | VOLUME = {12}, | ||
NUMBER = {1--2}, | NUMBER = {1--2}, | ||
Revision as of 21:10, 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>