Femke van Raamsdonk
Translating Logic Programs into Conditional Rewriting Systems
ICLP, 1997.
@inproceedings{ICLP-1997-Raamsdonk,
author = "Femke van Raamsdonk",
booktitle = "{Proceedings of the 14th International Conference on Logic Programming}",
isbn = "0-262-64035-X",
pages = "168--182",
publisher = "{MIT Press}",
title = "{Translating Logic Programs into Conditional Rewriting Systems}",
year = 1997,
}