Bibtex:Ohlebusch01

From Termination-Portal.org
Revision as of 21:10, 29 March 2008 by Nowonder (talk | contribs)
Jump to navigationJump to search

E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited

, Heidelberg,2001
Bibtex
Author : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : -
Address : Heidelberg
Date : 2001


Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:Ohlebusch01&oldid=204"