Aart Middeldorp. Completeness of Combinations of Conditional Constructor Systems. Journal of Symbolic Computation, 17(1):3-21, 1994.
@article{Middeldorp94, title = {Completeness of Combinations of Conditional Constructor Systems}, author = {Aart Middeldorp}, year = {1994}, tags = {completeness}, researchr = {https://researchr.org/publication/Middeldorp94}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {17}, number = {1}, pages = {3-21}, }