Automated Deduction in Classical and Non-Classical Logics Selected Papers Caferra, Ricardo Heftet / 2000 / Engelsk
