A general theory of confluent rewriting systems for logic programming and its applications

@article{Dix2001AGT,
  title={A general theory of confluent rewriting systems for logic programming and its applications},
  author={J{\"u}rgen Dix and Mauricio Osorio and Claudia Zepeda Cort{\'e}s},
  journal={Ann. Pure Appl. Logic},
  year={2001},
  volume={108},
  pages={153-188}
}

From This Paper

Topics from this paper.
27 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…