%0 Conference Paper %1 conf/padl/GuzmanCH13 %A de Guzmán, Pablo Chico %A Carro, Manuel %A Hermenegildo, Manuel V. %B PADL %D 2013 %E Sagonas, Konstantinos %I Springer %K dblp %P 60-76 %T Supporting Pruning in Tabled LP. %U http://dblp.uni-trier.de/db/conf/padl/padl2013.html#GuzmanCH13 %V 7752 %@ 978-3-642-45283-3

@inproceedings{conf/padl/GuzmanCH13, added-at = {2019-10-19T00:00:00.000+0200}, author = {de Guzmán, Pablo Chico and Carro, Manuel and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/28af95854b81dd194f08dfa1f0b0df62c/dblp}, booktitle = {PADL}, crossref = {conf/padl/2013}, editor = {Sagonas, Konstantinos}, ee = {https://doi.org/10.1007/978-3-642-45284-0_5}, interhash = {8b0d8d712832f22d8dfc5edbd04b3be0}, intrahash = {8af95854b81dd194f08dfa1f0b0df62c}, isbn = {978-3-642-45283-3}, keywords = {dblp}, pages = {60-76}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:43:47.000+0200}, title = {Supporting Pruning in Tabled LP.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2013.html#GuzmanCH13}, volume = 7752, year = 2013 }