Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search| 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
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
