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]

Authors

José Arrazola

This author has not been identified. Look up 'José Arrazola' in Google

Jürgen Dix

This author has not been identified. Look up 'Jürgen Dix' in Google

Mauricio Osorio

This author has not been identified. Look up 'Mauricio Osorio' in Google