@misc{indiciae948ea0b271a2, title = {A tableau methodology for deontic conditional logics}, author = {Alberto Artosi and Guido Governatori}, year = {2000}, url = {https://arxiv.org/abs/cs/0003050}, note = {Source identifier: cs/0003050} }