%0 Book Section %1 conf/birthday/RydeheardS14 %A Rydeheard, David E. %A Sánchez, Jesús Héctor Domínguez %B HOWARD-60 %D 2014 %E Voronkov, Andrei %E Korovina, Margarita V. %I EasyChair %K dblp %P 289-305 %T A note on first-order reasoning for minimum models. %U http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#RydeheardS14 %V 42

@incollection{conf/birthday/RydeheardS14, added-at = {2021-08-15T00:00:00.000+0200}, author = {Rydeheard, David E. and Sánchez, Jesús Héctor Domínguez}, biburl = {https://www.bibsonomy.org/bibtex/251184461344e24fed3057ca424699753/dblp}, booktitle = {HOWARD-60}, crossref = {conf/birthday/2014howard}, editor = {Voronkov, Andrei and Korovina, Margarita V.}, ee = {https://doi.org/10.29007/5bvp}, interhash = {03910ec41e501820dc5bffae1fa07a2b}, intrahash = {51184461344e24fed3057ca424699753}, keywords = {dblp}, pages = {289-305}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T07:57:34.000+0200}, title = {A note on first-order reasoning for minimum models.}, url = {http://dblp.uni-trier.de/db/conf/birthday/howard2014.html#RydeheardS14}, volume = 42, year = 2014 }