Order-Sorted Generalization

María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda. Order-Sorted Generalization. Electronic Notes in Theoretical Computer Science, 246:27-38, 2009. [doi]

Abstract

Abstract is missing.