T. A. Hansen, “Properties of Unfolding-based Meta-level Systems”, DPB, vol. 20, no. 348, Apr. 1991.