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

Marc Gyssens, Dan Suciu, Dirk Van Gucht. Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra. Inf. Comput., 164(1):85-117, 2001.

Abstract

Abstract is missing.