Alexander V. Lyaletski. On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. pages 39-46, IEEE Computer Society, 2008. [doi]
Abstract is missing.