%0 Journal Article %1 journals/corr/LonsingES16 %A Lonsing, Florian %A Egly, Uwe %A Seidl, Martina %D 2016 %J CoRR %K %T Q-Resolution with Generalized Axioms. %U http://dblp.uni-trier.de/db/journals/corr/corr1604.html#LonsingES16 %V abs/1604.05994

@article{journals/corr/LonsingES16, added-at = {2023-12-12T18:37:20.000+0100}, author = {Lonsing, Florian and Egly, Uwe and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/265fcd7dc759f7b62cbbc351037d34292/admin}, ee = {http://arxiv.org/abs/1604.05994}, interhash = {14eff965e804eaabf10ea5fa3104038f}, intrahash = {65fcd7dc759f7b62cbbc351037d34292}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T18:37:20.000+0100}, title = {Q-Resolution with Generalized Axioms.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1604.html#LonsingES16}, volume = {abs/1604.05994}, year = 2016 }