M. Pascucci: "Automated reasoning in normative detachment structures with ideal conditions"; Talk: Cyberspace 2018, Brno; 2018-11-30 - 2018-12-01.