A New Decidable Problem, with Applications (Extended Abstract)

A New Decidable Problem, with Applications (Extended Abstract) Harry R. Lewis 62-73 conf/focs/FOCS18 1977 FOCS db/conf/focs/focs77.html#Lewis77