%0 Journal Article %1 journals/jar/Urbain04 %A Urbain, Xavier %D 2004 %J J. Autom. Reason. %K dblp %N 4 %P 315-355 %T Modular & Incremental Automated Termination Proofs. %U http://dblp.uni-trier.de/db/journals/jar/jar32.html#Urbain04 %V 32

@article{journals/jar/Urbain04, added-at = {2020-09-02T00:00:00.000+0200}, author = {Urbain, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/20be802c2fc29312e651ee5ebc1958fbb/dblp}, ee = {https://doi.org/10.1007/BF03177743}, interhash = {905f386567bb5d0891c4d3de4f567b75}, intrahash = {0be802c2fc29312e651ee5ebc1958fbb}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 4, pages = {315-355}, timestamp = {2020-09-09T13:34:28.000+0200}, title = {Modular & Incremental Automated Termination Proofs.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar32.html#Urbain04}, volume = 32, year = 2004 }