@Article{	  dixosozep99,
  author	= {J\"{u}rgen Dix and Mauricio Osorio and Claudia Zepeda},
  title		= {A {G}eneral {T}heory of {C}onfluent {R}ewriting {S}ystems
		  for {L}ogic {P}rogramming and its {A}pplications},
  journal	= {Annals of Pure and Applied Logic},
  year		= {2001},
  volume	= {108(1-3)},
  pages		= {153--188}
}