By Baaz Matthias   Iemhoff Rosalie   in Studia Logica

ISSN:0039-3215|82|1|7-23

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 15.5629425

By Baaz Matthias   Lahav Ori   Zamansky Anna   in Journal of Automated Reasoning

ISSN:0168-7433|51|4|401-430

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 11.672207