%0 Conference Paper %1 conf/cade/UrbaniKJDC18 %A Urbani, Jacopo %A Krötzsch, Markus %A Jacobs, Ceriel J. H. %A Dragoste, Irina %A Carral, David %B IJCAR %D 2018 %E Galmiche, Didier %E Schulz, Stephan %E Sebastiani, Roberto %I Springer %K dblp %P 680-688 %T Efficient Model Construction for Horn Logic with VLog - System Description. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#UrbaniKJDC18 %V 10900 %@ 978-3-319-94205-6

@inproceedings{conf/cade/UrbaniKJDC18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Urbani, Jacopo and Krötzsch, Markus and Jacobs, Ceriel J. H. and Dragoste, Irina and Carral, David}, biburl = {https://www.bibsonomy.org/bibtex/286a4c80c5f7646808b309ca5879fca63/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_44}, interhash = {f120e98f977147a057d0dd271dcec3f9}, intrahash = {86a4c80c5f7646808b309ca5879fca63}, isbn = {978-3-319-94205-6}, keywords = {dblp}, pages = {680-688}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:11.000+0200}, title = {Efficient Model Construction for Horn Logic with VLog - System Description.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#UrbaniKJDC18}, volume = 10900, year = 2018 }