%0 Journal Article %1 journals/imt/SuzukiKB11 %A Suzuki, Sho %A Kusakari, Keiichirou %A Blanqui, Frédéric %D 2011 %J Inf. Media Technol. %K dblp %N 2 %P 481-492 %T Argument Filterings and Usable Rules in Higher-order Rewrite Systems. %U http://dblp.uni-trier.de/db/journals/imt/imt6.html#SuzukiKB11 %V 6

@article{journals/imt/SuzukiKB11, added-at = {2024-08-31T00:00:00.000+0200}, author = {Suzuki, Sho and Kusakari, Keiichirou and Blanqui, Frédéric}, biburl = {https://www.bibsonomy.org/bibtex/25634771d7730f0664404d0e2f390d3f6/dblp}, ee = {https://doi.org/10.11185/imt.6.481}, interhash = {7be0cc838a81933ee06d72434ac39cc9}, intrahash = {5634771d7730f0664404d0e2f390d3f6}, journal = {Inf. Media Technol.}, keywords = {dblp}, number = 2, pages = {481-492}, timestamp = {2024-09-02T07:05:19.000+0200}, title = {Argument Filterings and Usable Rules in Higher-order Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/journals/imt/imt6.html#SuzukiKB11}, volume = 6, year = 2011 }