By Sorensen M.H.   in Information and Computation

ISSN:0890-5401|133|1|35-71

Academic Press‎(1997)‎

Access to resources Favorite 17.118725

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 12.143438

By De Schreye D.   Gluck R.   Jorgensen J.   Leuschel M.   Martens B.   Sorensen M.H.   in The Journal of Logic Programming

ISSN:0743-1066|43|3|265-265

Elsevier‎(2000)‎

Access to resources Favorite 8.21156

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 3.6105871