%0 Conference Paper %1 conf/cade/GleissKR20 %A Gleiss, Bernhard %A Kovács, Laura %A Rath, Jakob %B IJCAR (1) %D 2020 %E Peltier, Nicolas %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 297-315 %T Subsumption Demodulation in First-Order Theorem Proving. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#GleissKR20 %V 12166 %@ 978-3-030-51074-9

@inproceedings{conf/cade/GleissKR20, added-at = {2020-07-03T00:00:00.000+0200}, author = {Gleiss, Bernhard and Kovács, Laura and Rath, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/28e374c9be2317a90ff1caf5d833a8a6d/dblp}, booktitle = {IJCAR (1)}, crossref = {conf/cade/2020-1}, editor = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-030-51074-9_17}, interhash = {89c053e9e89d4ff69ec0b170ce49e69c}, intrahash = {8e374c9be2317a90ff1caf5d833a8a6d}, isbn = {978-3-030-51074-9}, keywords = {dblp}, pages = {297-315}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-04T12:03:27.000+0200}, title = {Subsumption Demodulation in First-Order Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2020-1.html#GleissKR20}, volume = 12166, year = 2020 }