%0 Conference Paper %1 conf/iclp/CostantiniLM96 %A Costantini, Stefania %A Lanzarone, Gaetano Aurelio %A Magliocco, Giuseppe %B JICSLP %D 1996 %E Maher, Michael J. %I MIT Press %K dblp %P 438-452 %T Asserting Lemmas in the Stable Model Semantics. %U http://dblp.uni-trier.de/db/conf/iclp/iclp96.html#CostantiniLM96 %@ 0-262-63173-3

@inproceedings{conf/iclp/CostantiniLM96, added-at = {2021-08-09T00:00:00.000+0200}, author = {Costantini, Stefania and Lanzarone, Gaetano Aurelio and Magliocco, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/228ad76e113cf264111cabee3340b0bf0/dblp}, booktitle = {JICSLP}, crossref = {conf/iclp/1996}, editor = {Maher, Michael J.}, ee = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278908}, interhash = {b78b53eb172a34d90a111847071df8b8}, intrahash = {28ad76e113cf264111cabee3340b0bf0}, isbn = {0-262-63173-3}, keywords = {dblp}, pages = {438-452}, publisher = {MIT Press}, timestamp = {2024-04-09T16:09:38.000+0200}, title = {Asserting Lemmas in the Stable Model Semantics.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp96.html#CostantiniLM96}, year = 1996 }