%0 Journal Article %1 journals/jbcs/RibeiroCF13 %A Ribeiro, Rodrigo Geraldo %A Camarão, Carlos %A Figueiredo, Lucília %D 2013 %J J. Braz. Comput. Soc. %K dblp %N 4 %P 423-432 %T Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. %U http://dblp.uni-trier.de/db/journals/jbcs/jbcs19.html#RibeiroCF13 %V 19

@article{journals/jbcs/RibeiroCF13, added-at = {2022-06-01T00:00:00.000+0200}, author = {Ribeiro, Rodrigo Geraldo and Camarão, Carlos and Figueiredo, Lucília}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2163acb99d464c1116207706f3b04d5a2/dblp}, ee = {https://doi.org/10.1007/s13173-013-0107-9}, interhash = {3253de230e8a9aceef05e7ad444173ec}, intrahash = {163acb99d464c1116207706f3b04d5a2}, journal = {J. Braz. Comput. Soc.}, keywords = {dblp}, number = 4, pages = {423-432}, timestamp = {2022-06-02T06:05:51.000+0200}, title = {Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.}, url = {http://dblp.uni-trier.de/db/journals/jbcs/jbcs19.html#RibeiroCF13}, volume = 19, year = 2013 }