Chicago

State University. Dept. of Computer Science, Oregon, Masami Takikawa, and 1959- Crowl. 1994. Multiworld Augmented Term Rewriting. : Corvallis, OR : Oregon State University, Dept. of Computer Science.