Pebble Games and Subroutines in Least Fixed Point Logic

Gregory L. McColm. Pebble Games and Subroutines in Least Fixed Point Logic. Inf. Comput., 122(2):201-220, 1995.

Abstract

Abstract is missing.