Inspecting Maude variants with GLINTS

María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega. Inspecting Maude variants with GLINTS. TPLP, 17(5-6):689-707, 2017. [doi]

Abstract

Abstract is missing.