%0 Conference Paper %1 conf/frocos/AotoY09 %A Aoto, Takahito %A Yamada, Toshiyuki %B FroCoS %D 2009 %E Ghilardi, Silvio %E Sebastiani, Roberto %I Springer %K dblp %P 117-132 %T Argument Filterings and Usable Rules for Simply Typed Dependency Pairs. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2009.html#AotoY09 %V 5749 %@ 978-3-642-04221-8

@inproceedings{conf/frocos/AotoY09, added-at = {2017-05-21T00:00:00.000+0200}, author = {Aoto, Takahito and Yamada, Toshiyuki}, biburl = {https://www.bibsonomy.org/bibtex/2fcf3e974d8062b09a7f518fe3370476e/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/2009}, editor = {Ghilardi, Silvio and Sebastiani, Roberto}, ee = {https://doi.org/10.1007/978-3-642-04222-5_7}, interhash = {5092ad44cd7baee20f0a378054796ad9}, intrahash = {fcf3e974d8062b09a7f518fe3370476e}, isbn = {978-3-642-04221-8}, keywords = {dblp}, pages = {117-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:02:34.000+0200}, title = {Argument Filterings and Usable Rules for Simply Typed Dependency Pairs.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2009.html#AotoY09}, volume = 5749, year = 2009 }