https://maude.cs.illinois.edu/w/api.php?hidebots=1&days=7&limit=50&target=File%3ADur%C3%A1n.Mesegue.Rocha.Ground_Confluence_of_Order-sorted_Conditional_Specifications_Modulo_Axioms.TR.pdf&action=feedrecentchanges&feedformat=atomThe Maude System - Changes related to "File:DurĂ¡n.Mesegue.Rocha.Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.TR.pdf" [en]2024-03-29T09:23:34ZRelated changesMediaWiki 1.23.1