%0 Journal Article %1 journals/corr/abs-1205-2519 %A Kop, Cynthia %A van Raamsdonk, Femke %D 2012 %J Logical Methods in Computer Science %K dblp %N 2 %T Dynamic Dependency Pairs for Algebraic Functional Systems %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1205-2519 %V 8

@article{journals/corr/abs-1205-2519, added-at = {2019-05-14T00:00:00.000+0200}, author = {Kop, Cynthia and van Raamsdonk, Femke}, biburl = {https://www.bibsonomy.org/bibtex/2f1206087c616be18d92c1184c0ea4ae9/dblp}, ee = {http://arxiv.org/abs/1205.2519}, interhash = {2add509a8f9982f857c54098834c752a}, intrahash = {f1206087c616be18d92c1184c0ea4ae9}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 2, timestamp = {2019-05-15T11:51:01.000+0200}, title = {Dynamic Dependency Pairs for Algebraic Functional Systems}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1205-2519}, volume = 8, year = 2012 }