Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf
Browse the full KR paper archive.