Marcin Gebala, Grzegorz Mrugalski, Nilanjan Mukherjee, Janusz Rajski, Jerzy Tyszer: On Using Implied Values in EDT-based Test Compression. DAC 2014: 11:1-11:6