Interactive small-step algorithms (0)

by Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
Venue:Logical Methods in Computer Science 3:4 (2007), papers 3 and 4 (Part I and Part II