Model checking rationally restricted right closures of recognizable graphs

Olaf Burkart. Model checking rationally restricted right closures of recognizable graphs. Electronic Notes in Theoretical Computer Science, 9:25, 1997. [doi]

Abstract

Abstract is missing.