%0 Journal Article %1 journals/tplp/Alviano17 %A Alviano, Mario %D 2017 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 708-725 %T Model enumeration in propositional circumscription via unsatisfiable core analysis. %U http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#Alviano17 %V 17

@article{journals/tplp/Alviano17, added-at = {2020-02-13T00:00:00.000+0100}, author = {Alviano, Mario}, biburl = {https://www.bibsonomy.org/bibtex/20d00ad96444e842ea9deb897eedd8454/dblp}, ee = {https://doi.org/10.1017/S1471068417000278}, interhash = {5185ca23808d62ee6093511b6dcfd540}, intrahash = {0d00ad96444e842ea9deb897eedd8454}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {708-725}, timestamp = {2020-02-14T11:43:53.000+0100}, title = {Model enumeration in propositional circumscription via unsatisfiable core analysis.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#Alviano17}, volume = 17, year = 2017 }