Keyword:TLA

Publications
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal and Stephan Merz In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics