homepages/92/5835 conf/lrec/AjaniBLMMRR10 conf/jurix/2009aicol conf/jurix/CasanovasPSA09 conf/jurix/AjaniR09 conf/acl/AjaniBLMR07 conf/icail/AjaniLBMR07