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

van Raamsdonk, F. (1997). Translating logic programs into conditional rewriting systems. In Logic Programming (pp. 168–182). MIT Press (Cambridge, MA).