Haim Schweitzer Classification and Reductio-ad-Absurdum Optimality Proofs. 88-93 1997 AAAI/IAAI db/conf/aaai/aaai97.html#Schweitzer97