Pebble Games and Subroutines (1995)

by G McColm
Venue:in Least Fixed Point Logic, Information and Computation 122:2