@inproceedings{ijcai2016p139,
  title     = {Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau},
  author    = {Bertello, Matteo and Gigante, Nicola and Montanari, Angelo and Reynolds, Mark},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-16}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Subbarao Kambhampati},
  pages     = {950--955},
  year      = {2016},
  month     = {7},
  url       = {https://ijcai.org/proceedings/2016/139},
}