Distributed logic objects: A fragment of rewriting logic and its implementation

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli. Distributed logic objects: A fragment of rewriting logic and its implementation. Electronic Notes in Theoretical Computer Science, 4:110-125, 1996. [doi]

Abstract

Abstract is missing.