A task-oriented agent-based mechanism for theorem proving | IEEE Conference Publication | IEEE Xplore