@inproceedings{burel:hal-01670476, TITLE = {{Linking Focusing and Resolution with Selection}}, AUTHOR = {Burel, Guillaume}, URL = {https://inria.hal.science/hal-01670476}, BOOKTITLE = {{43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)}}, ADDRESS = {Liverpool, United Kingdom}, EDITOR = {Igor Potapov and Paul Spirakis and James Worrell}, PUBLISHER = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}}, SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)}, VOLUME = {117}, PAGES = {9:1-9:14}, YEAR = {2018}, MONTH = Aug, DOI = {10.4230/LIPIcs.MFCS.2018.9}, KEYWORDS = {refinements of resolution ; sequent calculus ; proof theory ; deduction modulo theory ; polarization ; automated deduction}, PDF = {https://inria.hal.science/hal-01670476v3/file/lipics.pdf}, HAL_ID = {hal-01670476}, HAL_VERSION = {v3}, }