Difference between revisions of "Bibtex:Ohlebusch01"
From Termination-Portal.org
Jump to navigationJump to search| Line 14: | Line 14: | ||
PUBLISHER = {Springer}, | PUBLISHER = {Springer}, | ||
ADDRESS = {Heidelberg}, | ADDRESS = {Heidelberg}, | ||
| − | </bibtex> | + | </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --> |
| − | <!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | ||
Revision as of 11:37, 30 March 2008
BibTex
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
