Order-sorted equational generalization algorithm revisited

Annals of Mathematics and Artificial Intelligence ◽

10.1007/s10472-021-09771-1 ◽

2021 ◽

Author(s):

María Alpuente ◽

Santiago Escobar ◽

José Meseguer ◽

Julia Sapiña

Download Full-text