Erich Grädel Marc Spielmann Logspace Reducibility via Abstract State Machines. 1738-1757 1999 conf/fm/1999-2 World Congress on Formal Methods http://link.springer.de/link/service/series/0558/bibs/1709/17091738.htm db/conf/fm/fm1999-2.html#GradelS99