Masami Takikawa and Lawrence A. Crowl, "Multiworld Augmented Term Rewriting", Technical Report 94-60-06, Department of Computer Science, Oregon State University, Corvallis, Oregon, 97331-3202, November 1994