%0 Conference Paper %1 conf/aiia/LammaM93 %A Lamma, Evelina %A Mello, Paola %B AI*IA %D 1993 %E Torasso, Pietro %I Springer %K dblp %P 23-34 %T Computing 3-valued Stable Models by using the ATMS. %U http://dblp.uni-trier.de/db/conf/aiia/aiia1993.html#LammaM93 %V 728 %@ 3-540-57292-9

@inproceedings{conf/aiia/LammaM93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Lamma, Evelina and Mello, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2c02e184c4c839981e8c79ba24cbb9e07/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/1993}, editor = {Torasso, Pietro}, ee = {https://doi.org/10.1007/3-540-57292-9_38}, interhash = {fb401766c3892e77bb69723a586761cf}, intrahash = {c02e184c4c839981e8c79ba24cbb9e07}, isbn = {3-540-57292-9}, keywords = {dblp}, pages = {23-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:26:50.000+0200}, title = {Computing 3-valued Stable Models by using the ATMS.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia1993.html#LammaM93}, volume = 728, year = 1993 }