Agenda control for heterogeneous reasoners. - Reinhard Stolle; Apollo Hogan; Elizabeth Bradley (J. Log. Algebraic Methods Program., 2005)