Explicit cyclic substitution. Semantics note D–166 (1993)

by K H ROSE