Proof principles of CSP – CSP-Prover in practice (2008)

by Y Isobe, M Roggenbach
Venue:In LDIC 2007