Reasoning with generalized cases

Alexander Tartakovski. Reasoning with generalized cases. PhD thesis, University of Trier, 2008.

Abstract

Abstract is missing.