Properties of Unfolding-based Meta-level Systems

Torben Amtoft Hansen. Properties of Unfolding-based Meta-level Systems. In PEPM. pages 243-254, 1991.

Abstract

Abstract is missing.