Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

Browse the full CADE paper archive.