An Interactive Derivation Viewer

Steven Trac, Yury Puzis, Geoff Sutcliffe. An Interactive Derivation Viewer. Electronic Notes in Theoretical Computer Science, 174(2):109-123, 2007. [doi]

Abstract

Abstract is missing.