ByNobleID
    Models, Unfolding Rules and Fixpoint Semantics. | NobleID