Matthew South Gerard Vreeswijk John Fox Dungine: A Java Dung Reasoner. 360-368 2008 COMMA conf/comma/2008 db/conf/comma/comma2008.html#SouthVF08