Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. - Matteo Bertello; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (IJCAI, 2016)