Order-sorted generalization

Alpuente Frasnedo María, Escobar Román Santiago, Ojeda Forés Pedro

2009

Electronic Notes in Theoretical Computer Science