@inproceedings{farooque:hal-00854426, TITLE = {{A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus}}, AUTHOR = {Farooque, Mahfuza and Lengrand, St{\'e}phane and Mahboubi, Assia}, URL = {https://inria.hal.science/hal-00854426}, BOOKTITLE = {{LFMTP - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - 2013}}, ADDRESS = {Boston, United States}, EDITOR = {Alberto Momigliano and Brigitte Pientka and Randy Pollack}, PUBLISHER = {{ACM}}, YEAR = {2013}, MONTH = Sep, DOI = {10.1145/2503887.2503892}, PDF = {https://inria.hal.science/hal-00854426/file/DPLL-LK.pdf}, HAL_ID = {hal-00854426}, HAL_VERSION = {v1}, }