ARW-DT 2014 - AUTOMATED REASONING WORKSHOP/DEDUKTIONSTREFFEN PROCEEDINGS: ADDITIONAL FILES

This volume contains files uploaded by proceedings managers. They are listed below.

• ARW-DT Full Proceedings