[Back]


Publications in Scientific Journals:
M. Pascucci, T. Libal:
"Automated Reasoning in Normative Detachment Structures with Ideal Conditions";
CoRR - Computing Research Repository, abs/1810.09993 (2018), abs/1810.09993.

Created from the Publication Database of the Vienna University of Technology.