%0 Journal Article %1 journals/jsc/EikelderW91 %A ten Eikelder, Huub M. M. %A Wilmont, J. C. F. %D 1991 %J J. Symb. Comput. %K dblp %N 2 %P 143-160 %T Normal Forms for a Class of Formulas. %U http://dblp.uni-trier.de/db/journals/jsc/jsc12.html#EikelderW91 %V 12

@article{journals/jsc/EikelderW91, added-at = {2021-02-17T00:00:00.000+0100}, author = {ten Eikelder, Huub M. M. and Wilmont, J. C. F.}, biburl = {https://www.bibsonomy.org/bibtex/26000f9c751c1bd1d3e10d5e80c898d3e/dblp}, ee = {https://doi.org/10.1016/S0747-7171(08)80123-X}, interhash = {a6b3e533aa799cad70b30394dd239f77}, intrahash = {6000f9c751c1bd1d3e10d5e80c898d3e}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = 2, pages = {143-160}, timestamp = {2024-04-09T05:32:05.000+0200}, title = {Normal Forms for a Class of Formulas.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc12.html#EikelderW91}, volume = 12, year = 1991 }