%0 Journal Article %1 journals/jsc/Rusinowitch87 %A Rusinowitch, Michaël %D 1987 %J J. Symb. Comput. %K dblp %N 1/2 %P 117-131 %T Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. %U http://dblp.uni-trier.de/db/journals/jsc/jsc3.html#Rusinowitch87 %V 3

@article{journals/jsc/Rusinowitch87, added-at = {2021-02-17T00:00:00.000+0100}, author = {Rusinowitch, Michaël}, biburl = {https://www.bibsonomy.org/bibtex/2d704de8c28b1b4cf7364864ba5602007/dblp}, ee = {https://doi.org/10.1016/S0747-7171(87)80023-8}, interhash = {8437bdaf9144ee717d5f135527cfa2dd}, intrahash = {d704de8c28b1b4cf7364864ba5602007}, journal = {J. Symb. Comput.}, keywords = {dblp}, number = {1/2}, pages = {117-131}, timestamp = {2024-04-09T05:32:55.000+0200}, title = {Path of Subterms Ordering and Recursive Decomposition Ordering Revisited.}, url = {http://dblp.uni-trier.de/db/journals/jsc/jsc3.html#Rusinowitch87}, volume = 3, year = 1987 }