Hansen, T.A. 1991. Properties of Unfolding-based Meta-level Systems. DAIMI Report Series. 20, 348 (Apr. 1991). DOI:https://doi.org/10.7146/dpb.v20i348.6578.