selected publications academic article Balancing the Load. Journal of Automated Reasoning. 42:389-454. 2009