Marc Lauritsen Intelligent Tools for Managing Factual Arguments. 95-104 2005 conf/icail/2005 ICAIL db/conf/icail/icail2005.html#Lauritsen05