ADDCT

AcronymDefinition
ADDCTAutomated Deduction: Decidability, Complexity, Tractability (Workshop)