AbrGlu-SCP-02

@article{AbrGlu-SCP-02,
title = {The universal resolving algorithm and its correctness: Inverse computation in a functional language},
author = {Sergei A. Abramov and Robert Gl{\"u}ck},
journal = {Science of Computer Programming},
volume = {43},
number = {2--3},
pages = {193--229},
year = {2002}}