Describir: Automated reasoning 33 basis research problems /