Vol-2953⫷ Vol-2954 ⫸Vol-2955
urn:nbn:de:0074-2954-0


Vol-2954/paper-5⫷Vol-2954/paper-6⫸Vol-2954/paper-7
Piero A. BonattiLuigi Sauro

Tractable Compliance Checking with Negation