ACM - Normas
Guido Governatori
Antonino Rotolo
Francesco Olivieri
Simone Scannapieco
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL ’13
Partial meet contraction and revision functions