By Galdino André   Ayala-Rincón Mauricio   in Journal of Automated Reasoning

ISSN:0168-7433|45|3|301-325

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 12.6010475