By Hill J.M.D.   Skillicorn D.B.   in Future Generation Computer Systems

ISSN:0167-739X|13|4|327-335

Elsevier‎(1998)‎

Access to resources Favorite 14.379486

By Hill J.M.D.   Clarke K.M.   Bornat R.   in Journal of Symbolic Computation

ISSN:0747-7171|21|4|561-576

Academic Press‎(1996)‎

Access to resources Favorite 11.86258

By Donaldson S.R.   Hill J.M.D.   Skillicorn D.B.   in Future Generation Computer Systems

ISSN:0167-739X|15|3|453-459

Elsevier‎(1999)‎

Access to resources Favorite 11.86258