TY  - RPRT
TI  - Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
AU  - Damien Doligez
AU  - Jael Kriener
AU  - Leslie Lamport
AU  - Tomer Libal
AU  - Stephan Merz
PY  - 2014
UR  - https://arxiv.org/abs/1409.3819
ID  - 1409.3819
ER  -