Confluent Rewriting systems in Non-Monotonic Reasoning

José Arrazola, Jürgen Dix, Mauricio Osorio. Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas, 2(2-3):104-123, 1999. [doi]

Abstract

Abstract is missing.