Multi-agent systems inspired by artificial chemistries: a case study in automated theorem proving | IEEE Conference Publication | IEEE Xplore