Jürgen Dix et al.: A general theory of confluent rewriting systems for logic programming and its applications. (2001)journals/apal/DixOZ0110.1016/S0168-0072(00)00044-0A general theory of confluent rewriting systems for logic programming and its applications.3Jürgen Dix1Mauricio Osorio 00012Claudia Zepeda3153-188Ann. Pure Appl. Log.Ann. Pure Appl. Log.1081-32001provenance information for RDF data of dblp record 'journals/apal/DixOZ01'2020-02-21T21:18:57+0100