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