Quoc Bao Vo: A task-oriented agent-based mechanism for theorem proving. IAT 2003: 275-281