## Ordinary Interactive Small-Step Algorithms (2004)

### Cached

### Download Links

- [www.math.lsa.umich.edu]
- [www.math.lsa.umich.edu]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [www.math.lsa.umich.edu]
- [research.microsoft.com]
- [tocl.acm.org]
- [www.acm.org]

by
Andreas Blass
,
Yuri Gurevich

Venue: | I,” ACM Trans. Computational Logic |

Citations: | 32 - 17 self |