Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

Durán, Francisco ; Eker, Steven ; Escobar, Santiago ; Martí-Oliet, Narciso ; Meseguer, José ; Talcott, Carolyn

Automated Reasoning, p.183-192 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível