By Hatcliff J.   in LISP and Symbolic Computation

ISSN:1388-3690|13|4|315-353

Springer Publishing Company ‎(2000)‎

Access to resources Favorite 15.477615

By Barthe G.   Hatcliff J.   Sorensen M.H.   in Theoretical Computer Science

ISSN:0304-3975|269|1|317-361

Elsevier‎(2001)‎

Access to resources Favorite 9.463097

By Barthe G.   Hatcliff J.   Sorensen M.H.B.   in Theoretical Computer Science

ISSN:0304-3975|266|1|773-818

Elsevier‎(2001)‎

Access to resources Favorite 7.7388077