A Fast Algorithm for Generating Reduced Ground Rewriting Systems from a Set of Ground Equations

• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 15, Nº 4, 1993, págs. 415-450
• Idioma: inglés
• Texto completo no disponible (Saber más ...)