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

by S M Abramov, R Glück
Venue:The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated