John Fox Paul Krause Simon Ambler Arguments, Contradicitions and Practical Reasoning. 623-627 1992 ECAI db/conf/ecai/ecai92.html#FoxKA92