ESARLT

AcronymDefinition
ESARLTEmpirically Successful Automated Reasoning in Large Theories (workshop)