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 10.198082

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.364628