University of Leipzig
KER
HermiT LNCS RuleML
MODELS 2008, VSTTE 2008
AAMAS, CP, CP 2008, DAMP, DAMP 2009, DAMP 2008, DAMP 2007, DAMP 2006