ESARLT

AcronymDefinition
ESARLT➣Empirically Successful Automated Reasoning in Large Theories (workshop)