Keldysh Institute Preprint, (70), 2013.

This version corresponds to the preprint

• Sergei A. Grechanik, Ilya G. Klyuchnikov, Sergei A. Romanenko.
  Staged multi-result supercompilation: filtering before producing.
  Keldysh Institute Preprints, (70), 2013.
  http://library.keldysh.ru//preprint.asp?lg=e&id=2013-70