D. Aspinall, S. Autexier, C. Lüth, and M. Wagner. UITP@TPHOLs, volume 226 of Electronic Notes in Theoretical Computer Science, page 3-21. Elsevier, (2008)
A. Schairer, S. Autexier, and D. Hutter. STRATEGIES@IJCAR, volume 58 of Electronic Notes in Theoretical Computer Science, page 203-216. Elsevier, (2001)