<?xml version="1.0"?>
<dblp>
<article key="journals/corr/abs-0905-0197" mdate="2009-06-01">
<author>Victor W. Marek</author>
<author>Jeffrey B. Remmel</author>
<title>An Application of Proof-Theory in answer Set Programming</title>
<ee>http://arxiv.org/abs/0905.0197</ee>
<year>2009</year>
<journal>CoRR</journal>
<volume>abs/0905.0197</volume>
<url>db/journals/corr/corr0905.html#abs-0905-0197</url>
<note>informal publication</note>
</article>
</dblp>
