Automated Reasoning for Regulatory Compliance.

Alberto Siena, Silvia Ingolfo, Anna Perini, Angelo Susi, John Mylopoulos

Browse the full ER paper archive.