Pierre St-Vincent Daniel Poulin Paul Bratley A Computational Framework for Dialectical Reasoning. 137-145 1995 ICAIL http://doi.acm.org/10.1145/222092.222224 db/conf/icail/icail95.html#St-VincentPB95