@techreport{    TakikawaCrowl94,
author          = "Masami Takikawa and Lawrence A. Crowl",
title           = "Multiworld Augmented Term Rewriting",
number          = "94-60-06",
institution     = "Department of Computer Science, Oregon State University",
address         = "Corvallis, Oregon, 97331-3202",
month           = nov,
year            = 1994 }