%0 Conference Paper %1 conf/lpnmr/AvinB01 %A Avin, Chen %A Ben-Eliyahu-Zohary, Rachel %B LPNMR %D 2001 %E Eiter, Thomas %E Faber, Wolfgang %E Truszczynski, Miroslaw %I Springer %K dblp %P 322-335 %T Algorithms for Computing X-Minimal Models. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2001.html#AvinB01 %V 2173 %@ 3-540-42593-4

@inproceedings{conf/lpnmr/AvinB01, added-at = {2019-09-25T00:00:00.000+0200}, author = {Avin, Chen and Ben-Eliyahu-Zohary, Rachel}, biburl = {https://www.bibsonomy.org/bibtex/28b634ea6cebb00ae1f2d55c9f915215b/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2001}, editor = {Eiter, Thomas and Faber, Wolfgang and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/3-540-45402-0_24}, interhash = {485b7a20e42ed047f4863c3ab457919f}, intrahash = {8b634ea6cebb00ae1f2d55c9f915215b}, isbn = {3-540-42593-4}, keywords = {dblp}, pages = {322-335}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:20:16.000+0200}, title = {Algorithms for Computing X-Minimal Models.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2001.html#AvinB01}, volume = 2173, year = 2001 }