Dungine: A java dung reasoner (2008)

by M South, G Vreeswijk, J Fox
Venue:In: Proceedings of COMMA 2008