%0 Conference Paper %1 conf/cade/KazakovS18 %A Kazakov, Yevgeny %A Skocovský, Peter %B IJCAR %D 2018 %E Galmiche, Didier %E Schulz, Stephan %E Sebastiani, Roberto %I Springer %K dblp %P 609-626 %T Enumerating Justifications Using Resolution. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#KazakovS18 %V 10900 %@ 978-3-319-94205-6

@inproceedings{conf/cade/KazakovS18, added-at = {2018-07-09T00:00:00.000+0200}, author = {Kazakov, Yevgeny and Skocovský, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2b37d0706e5b11009bf3ba779a3bd9125/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2018}, editor = {Galmiche, Didier and Schulz, Stephan and Sebastiani, Roberto}, ee = {https://doi.org/10.1007/978-3-319-94205-6_40}, interhash = {5d04f85dcf3724ced2773e40f170493d}, intrahash = {b37d0706e5b11009bf3ba779a3bd9125}, isbn = {978-3-319-94205-6}, keywords = {dblp}, pages = {609-626}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {Enumerating Justifications Using Resolution.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#KazakovS18}, volume = 10900, year = 2018 }