%0 Journal Article %1 journals/amai/AlpuenteEMS22 %A Alpuente, María %A Escobar, Santiago %A Meseguer, José %A Sapiña, Julia %D 2022 %J Ann. Math. Artif. Intell. %K dblp %N 5 %P 499-522 %T Order-sorted equational generalization algorithm revisited. %U http://dblp.uni-trier.de/db/journals/amai/amai90.html#AlpuenteEMS22 %V 90

@article{journals/amai/AlpuenteEMS22, added-at = {2023-09-20T00:00:00.000+0200}, author = {Alpuente, María and Escobar, Santiago and Meseguer, José and Sapiña, Julia}, biburl = {https://www.bibsonomy.org/bibtex/2001fd09b81e35b86a479e0161d9f7139/dblp}, ee = {https://doi.org/10.1007/s10472-021-09771-1}, interhash = {66f4767626169e6f2173917079f1d590}, intrahash = {001fd09b81e35b86a479e0161d9f7139}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 5, pages = {499-522}, timestamp = {2024-04-08T16:48:58.000+0200}, title = {Order-sorted equational generalization algorithm revisited.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai90.html#AlpuenteEMS22}, volume = 90, year = 2022 }