"Automated reasoning in normative detachment structures with ideal conditions."

Tomer Libal, Matteo Pascucci (2019)

Details and statistics

DOI: 10.1145/3322640.3326707

access: closed

type: Conference or Workshop Paper

metadata version: 2022-04-09