Contributions to Proceedings:
T. Eiter, M. Fink:
"Uniform Equivalence of Logic Programs under the Stable Model Semantics";
in: "Logic Programming, 19th International Conference, ICLP 2003, Proceedings",
C. Palamidessi (ed.);
Springer,
2003,
ISBN: 3-540-20642-6,
224
- 238.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404576
Electronic version of the publication:
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2916&spage=224
Created from the Publication Database of the Vienna University of Technology.