By Sernadas A.   Sernadas C.   Rasga J.   in Journal of Logic and Computation

ISSN:1465-363X|22|6|1453-1470

Oxford University Press‎(2012)‎

Access to resources Favorite 9.949354

By Sernadas A.   Sernadas C.   Caleiro C.   in Studia Logica

ISSN:0039-3215|59|2|217-247

Springer Publishing Company ‎(1997)‎

Access to resources Favorite 9.949354

By Caleiro C.   Saake G.   Sernadas A.   in Journal of Symbolic Computation

ISSN:0747-7171|22|5|521-553

Academic Press‎(1996)‎

Access to resources Favorite 9.057526