,
MIT Press (Cambridge, MA)
Logic Programming
International Conference on Logic Programming

van Raamsdonk, F. (1997). Translating logic programs into conditional rewriting systems. Logic Programming, 168–182.