A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL.

Luca Geatti, Nicola Gigante, Angelo Montanari

Browse the full TABLEAUX paper archive.