Adventures in time and space

Norman Danner, James S. Royer. Adventures in time and space. Logical Methods in Computer Science, 3(1), 2007. [doi]

Abstract

Abstract is missing.