Encoding industrial hardware verification problems into effectively propositional logic. - Moshe Emmer; Zurab Khasidashvili; Konstantin Korovin; Andrei Voronkov (FMCAD, 2010)

EPR-Based Bounded Model Checking at Word Level. - Moshe Emmer; Zurab Khasidashvili; Konstantin Korovin; Christoph Sticksel; Andrei Voronkov (IJCAR, 2012)