%0 Journal Article %1 journals/lisp/DuranLMMU08 %A Durán, Francisco %A Lucas, Salvador %A Marché, Claude %A Meseguer, José %A Urbain, Xavier %D 2008 %J High. Order Symb. Comput. %K dblp %N 1-2 %P 59-88 %T Proving operational termination of membership equational programs. %U http://dblp.uni-trier.de/db/journals/lisp/lisp21.html#DuranLMMU08 %V 21

@article{journals/lisp/DuranLMMU08, added-at = {2023-09-20T00:00:00.000+0200}, author = {Durán, Francisco and Lucas, Salvador and Marché, Claude and Meseguer, José and Urbain, Xavier}, biburl = {https://www.bibsonomy.org/bibtex/268621297c9b2f95d23dafd812ff25ac6/dblp}, ee = {https://doi.org/10.1007/s10990-008-9028-2}, interhash = {08b12c0d3e83cc8684f519ef7f31b1c2}, intrahash = {68621297c9b2f95d23dafd812ff25ac6}, journal = {High. Order Symb. Comput.}, keywords = {dblp}, number = {1-2}, pages = {59-88}, timestamp = {2024-04-09T03:04:20.000+0200}, title = {Proving operational termination of membership equational programs.}, url = {http://dblp.uni-trier.de/db/journals/lisp/lisp21.html#DuranLMMU08}, volume = 21, year = 2008 }