A subsumption architecture for theorem proving - Bundy, Alan (1995)