%0 Journal Article %1 journals/jlp/EscobarSM12 %A Escobar, Santiago %A Sasse, Ralf %A Meseguer, José %D 2012 %J J. Log. Algebraic Methods Program. %K dblp %N 7-8 %P 898-928 %T Folding variant narrowing and optimal variant termination. %U http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#EscobarSM12 %V 81

@article{journals/jlp/EscobarSM12, added-at = {2023-09-20T00:00:00.000+0200}, author = {Escobar, Santiago and Sasse, Ralf and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/26230742d13d7330042c44ad17b147199/dblp}, ee = {https://doi.org/10.1016/j.jlap.2012.01.002}, interhash = {302f73ef0b6ef917efc678a7629c65c5}, intrahash = {6230742d13d7330042c44ad17b147199}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = {7-8}, pages = {898-928}, timestamp = {2024-04-08T10:49:58.000+0200}, title = {Folding variant narrowing and optimal variant termination.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#EscobarSM12}, volume = 81, year = 2012 }