%0 Conference Paper %1 conf/lata/SubramaniW21 %A Subramani, K. %A Wojciechowski, Piotr %B LATA %D 2021 %E Leporati, Alberto %E Martín-Vide, Carlos %E Shapira, Dana %E Zandron, Claudio %I Springer %K dblp %P 226-237 %T Tree-Like Unit Refutations in Horn Constraint Systems. %U http://dblp.uni-trier.de/db/conf/lata/lata2021.html#SubramaniW21 %V 12638 %@ 978-3-030-68195-1

@inproceedings{conf/lata/SubramaniW21, added-at = {2024-02-09T00:00:00.000+0100}, author = {Subramani, K. and Wojciechowski, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/28b7100f7a061f1321d5b6080f318ee7e/dblp}, booktitle = {LATA}, crossref = {conf/lata/2021}, editor = {Leporati, Alberto and Martín-Vide, Carlos and Shapira, Dana and Zandron, Claudio}, ee = {https://doi.org/10.1007/978-3-030-68195-1_18}, interhash = {dfee1e448f599277fafe100fb27672c0}, intrahash = {8b7100f7a061f1321d5b6080f318ee7e}, isbn = {978-3-030-68195-1}, keywords = {dblp}, pages = {226-237}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:00:03.000+0200}, title = {Tree-Like Unit Refutations in Horn Constraint Systems.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2021.html#SubramaniW21}, volume = 12638, year = 2021 }