@conference {259,
	title = {Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics},
	booktitle = {Automated Reasoning in Quantified Non-Classical Logics},
	year = {2014},
	address = {Vienna, Austria},
	abstract = {We present a syntactic abstraction method to reason about first-order modal logics by using theorem provers for standard first-order logic and for propositional modal logic.},
	author = {Damien Doligez and Jael Kriener and Leslie Lamport and Tomer Libal and Stephan Merz}
}