%0 Journal Article %1 journals/mics/KruglovW12 %A Kruglov, Evgeny %A Weidenbach, Christoph %D 2012 %J Math. Comput. Sci. %K %N 4 %P 427-456 %T Superposition Decides the First-Order Logic Fragment Over Ground Theories. %U http://dblp.uni-trier.de/db/journals/mics/mics6.html#KruglovW12 %V 6

@article{journals/mics/KruglovW12, added-at = {2023-12-13T04:47:52.000+0100}, author = {Kruglov, Evgeny and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2c0da31e825a0606cde1fa8943c18cf96/admin}, ee = {https://doi.org/10.1007/s11786-012-0135-4}, interhash = {9a7068c5c2114aedf110dac01f8e220d}, intrahash = {c0da31e825a0606cde1fa8943c18cf96}, journal = {Math. Comput. Sci.}, keywords = {}, number = 4, pages = {427-456}, timestamp = {2023-12-13T04:47:52.000+0100}, title = {Superposition Decides the First-Order Logic Fragment Over Ground Theories.}, url = {http://dblp.uni-trier.de/db/journals/mics/mics6.html#KruglovW12}, volume = 6, year = 2012 }