Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-cs-0501084
%A Eiter, Thomas
%A Polleres, Axel
%D 2005
%J CoRR
%K
%T Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications
%U http://dblp.uni-trier.de/db/journals/corr/corr0501.html#abs-cs-0501084
%V abs/cs/0501084
@article{journals/corr/abs-cs-0501084,
added-at = {2023-12-13T00:01:35.000+0100},
author = {Eiter, Thomas and Polleres, Axel},
biburl = {https://www.bibsonomy.org/bibtex/2ed4811000acf5f23a4c8738c8929f8e6/admin},
ee = {http://arxiv.org/abs/cs/0501084},
interhash = {5dbbbf16f522177568b8e7181a8ee01c},
intrahash = {ed4811000acf5f23a4c8738c8929f8e6},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-13T00:01:35.000+0100},
title = {Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications},
url = {http://dblp.uni-trier.de/db/journals/corr/corr0501.html#abs-cs-0501084},
volume = {abs/cs/0501084},
year = 2005
}