%0 Journal Article %1 journals/kbs/SchmolzeS99 %A Schmolze, James G. %A Snyder, Wayne %D 1999 %J Knowl. Based Syst. %K dblp %N 1-2 %P 3-11 %T Detecting redundancy among production rules using term rewrite semantics. %U http://dblp.uni-trier.de/db/journals/kbs/kbs12.html#SchmolzeS99 %V 12

@article{journals/kbs/SchmolzeS99, added-at = {2020-02-25T00:00:00.000+0100}, author = {Schmolze, James G. and Snyder, Wayne}, biburl = {https://www.bibsonomy.org/bibtex/2df5345fbd0e8ef63bc74b6dc9e7c9d5e/dblp}, ee = {https://doi.org/10.1016/S0950-7051(99)00003-9}, interhash = {0badcab92683c817edfe1224b1fad3f1}, intrahash = {df5345fbd0e8ef63bc74b6dc9e7c9d5e}, journal = {Knowl. Based Syst.}, keywords = {dblp}, number = {1-2}, pages = {3-11}, timestamp = {2020-02-26T11:54:31.000+0100}, title = {Detecting redundancy among production rules using term rewrite semantics.}, url = {http://dblp.uni-trier.de/db/journals/kbs/kbs12.html#SchmolzeS99}, volume = 12, year = 1999 }