Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Journal of Automated Reasoning, 60(4):421-463, 2018. [doi]

Abstract

Abstract is missing.