Univ.-Prof. Dr. Aart Middeldorp   

Decidable Call-by-Need Computations in Term Rewriting

Irène Durand and Aart Middeldorp
Information and Computation 196(2), pp. 95 – 126, 2005

abstract   bibtex   pdf (preprint)   doi:10.1016/j.ic.2004.10.003
© 2004 Elsevier Inc.