Bibtex:Ohlebusch01
From Termination-Portal.org
Jump to navigationJump to searchBibTex
E. Ohlebusch - Termination of Logic Programs: Transformational Methods Revisited
- Applicable Algebra in Engineering, Communication and Computation 12(1--2):73--116, Heidelberg,2001
- BibtexAuthor : E. Ohlebusch
Title : Termination of Logic Programs: Transformational Methods Revisited
In : Applicable Algebra in Engineering, Communication and Computation -
Address : Heidelberg
Date : 2001
