Michael G. Main;Grzegorz Rozenberg
-;-
EXPANDING GRAPH RELABELING SYSTEMS HAVE THE POWER OF RECURSIVE ENUMERABILITY
Fundamenta Informaticae