{"_id":"Wa8qDwT38BmiixoHQ","bibbaseid":"alviano-faber-translatingnpspecintoasp-2013","author_short":["Alviano, M.","Faber, W."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mario"],"propositions":[],"lastnames":["Alviano"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]}],"title":"Translating NP-SPEC into ASP","journal":"CoRR","volume":"abs/1301.1385","year":"2013","url":"http://arxiv.org/abs/1301.1385","eprinttype":"arXiv","eprint":"1301.1385","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1301-1385.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Alviano, M.","Faber, W."],"key":"DBLP:journals/corr/abs-1301-1385","id":"DBLP:journals/corr/abs-1301-1385","bibbaseid":"alviano-faber-translatingnpspecintoasp-2013","role":"author","urls":{"Paper":"http://arxiv.org/abs/1301.1385"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/17/4975.html?view=bibtex","dataSources":["Abx4S3KE5cjtwTGfS"],"keywords":[],"search_terms":["translating","spec","asp","alviano","faber"],"title":"Translating NP-SPEC into ASP","year":2013}