No. 348 (1991): PB-348 Properties of Unfolding-based Meta-level Systems

Published: 1991-04-01