Deontic logic in computer science : 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings / ed. G. Governatori, 2010 r=on-line. - Текст : электронный.
Rule interchange and applications : international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009: proceedings / ed. G. Governatori [et al.], 2009 r=on-line. - Текст : электронный.