Return to Article Details Licensing free choice any on an existential semantics for imperatives Download Download PDF