Documenti analoghi: Automated reasoning 33 basis research problems /