R.: Principles of inverse computation and the universal resolving algorithm (2002)

by S M Abramov, Glück
Venue:The Essence of Computation. Lecture Notes in Computer Science