Frontier between decidability and undecidability: a survey (2000)

by Maurice Margenstern
Venue:Theoretical Computer Science