Valerio Genovese Laura Giordano Valentina Gliozzi Gian Luca Pozzato A constructive conditional logic for access control: a preliminary report. 1073-1074 2010 ECAI http://dx.doi.org/10.3233/978-1-60750-606-5-1073 conf/ecai/2010 db/conf/ecai/ecai2010.html#GenoveseGGP10