OpenAlex
Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra
Work