A Reduction of Input/Output Logics to SAT

Open in new window