Return to Article Details Computer Aided Verification of Relational Models by Strategic Rewriting Download Download PDF