Preface This volume contains the position papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Abstract

was the 14th in a series of international meetings since 1992 (listed on th