Encodings of Bounded LTL Model Checking in Effectively Propositional Logic.

Juan Antonio Navarro Prez, Andrei Voronkov

Browse the full CADE paper archive.