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.
@article{GyssensSG01, title = {Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra}, author = {Marc Gyssens and Dan Suciu and Dirk Van Gucht}, year = {2001}, tags = { algebra}, researchr = {https://researchr.org/publication/GyssensSG01}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {164}, number = {1}, pages = {85-117}, }