%0 Conference Paper %1 conf/asp/Otero01 %A Otero, Ramón P. %B Answer Set Programming %D 2001 %E Provetti, Alessandro %E Son, Tran Cao %K dblp %T Pertinence Logic Characterisation of Stable Models (Preliminary Report). %U http://dblp.uni-trier.de/db/conf/asp/asp2001.html#Otero01

@inproceedings{conf/asp/Otero01, added-at = {2020-03-12T00:00:00.000+0100}, author = {Otero, Ramón P.}, biburl = {https://www.bibsonomy.org/bibtex/290f27291d3617881c93aabd859a17e0a/dblp}, booktitle = {Answer Set Programming}, crossref = {conf/asp/2001}, editor = {Provetti, Alessandro and Son, Tran Cao}, ee = {http://www.cs.nmsu.edu/~tson/ASP2001/22.ps}, interhash = {317212198d187e7a138091ea534dfddc}, intrahash = {90f27291d3617881c93aabd859a17e0a}, keywords = {dblp}, timestamp = {2020-03-13T12:40:56.000+0100}, title = {Pertinence Logic Characterisation of Stable Models (Preliminary Report).}, url = {http://dblp.uni-trier.de/db/conf/asp/asp2001.html#Otero01}, year = 2001 }