Effectively Eliminating Auxiliaries.

Published in: Theory and Practice of Formal Methods (2016)