Suda, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Suda, M. (2013). Variable and Clause Elimination for LTL Satisfiability Checking. In M. Košta, & T. Sturm (Eds.), Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences (pp. 60-74).