Hansen, Torben Amtoft

• DAIMI Report Series Nr. 348 (1991): PB-348 Properties of Unfolding-based Meta-level Systems - Articles
  Properties of Unfolding-based Meta-level Systems
  Resumé  PDF (English)