Jens Otten. Implementing Connection Calculi for First-order Modal Logics. In Konstantin Korovin, Stephan Schulz, Eugenia Ternovska, editors, IWIL 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. Volume 22 of EPiC Series, pages 18-32, EasyChair, 2012. [doi]
Abstract is missing.