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.

Possibly Related Publications

The following publications are possibly variants of this publication: