%0 Journal Article %1 journals/logcom/StephanMN09 %A Stéphan, Igor %A Mota, Benoit Da %A Nicolas, Pascal %D 2009 %J J. Log. Comput. %K dblp %N 4 %P 565-590 %T From (Quantified) Boolean Formulae to Answer Set Programming. %U http://dblp.uni-trier.de/db/journals/logcom/logcom19.html#StephanMN09 %V 19

@article{journals/logcom/StephanMN09, added-at = {2010-07-21T15:46:40.000+0200}, author = {Stéphan, Igor and Mota, Benoit Da and Nicolas, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/28ba3f360fca81318aadc6701f8e65183/dblp}, date = {2010-05-02}, ee = {http://dx.doi.org/10.1093/logcom/exn041}, interhash = {f88181d93eb32e81821224201bd4a916}, intrahash = {8ba3f360fca81318aadc6701f8e65183}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {565-590}, timestamp = {2010-07-21T15:46:41.000+0200}, title = {From (Quantified) Boolean Formulae to Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom19.html#StephanMN09}, volume = 19, year = 2009 }