%0 Conference Paper %1 conf/lpnmr/EastT01 %A East, Deborah %A Truszczynski, Miroslaw %B LPNMR %D 2001 %E Eiter, Thomas %E Faber, Wolfgang %E Truszczynski, Miroslaw %I Springer %K dblp %P 402-405 %T aspps - An Implementation of Answer-Set Programming with Propositional Schemata. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2001.html#EastT01 %V 2173 %@ 3-540-42593-4

@inproceedings{conf/lpnmr/EastT01, added-at = {2017-05-23T00:00:00.000+0200}, author = {East, Deborah and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/2777a32b6887c3f35d9c6e1cf27cac52e/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2001}, editor = {Eiter, Thomas and Faber, Wolfgang and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/3-540-45402-0_31}, interhash = {0784d23f4ec1aeb64ce91fdb52078566}, intrahash = {777a32b6887c3f35d9c6e1cf27cac52e}, isbn = {3-540-42593-4}, keywords = {dblp}, pages = {402-405}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:07.000+0200}, title = {aspps - An Implementation of Answer-Set Programming with Propositional Schemata.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2001.html#EastT01}, volume = 2173, year = 2001 }