Complete cuboidal sets in axiomatic domain theoryComputing symbolic models for verifying cryptographic protocols
