Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics. In Christoph Benzmüller, Jens Otten, editors, Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014. Volume 33 of EPiC Series in Computing, pages 1-16, EasyChair, 2014. [doi]
Abstract is missing.