By Leavens G.T.   Pigozzi D.   in Theoretical Computer Science

ISSN:0304-3975|177|1|183-216

Elsevier‎(1997)‎

Access to resources Favorite 17.456532

By Dhara K.K.   Leavens G.T.   in Electronic Notes in Theoretical Computer Science

ISSN:1571-0661|1|1|1-23

Elsevier‎(2004)‎

Access to resources Favorite 14.835903