Unfolding of systems of inductive definitions