Skip to content

Translating Logic Programs into Conditional Rewriting Systems.

Femke van Raamsdonk

VenueBICLP
Year1997
ProceedingsICLP

Browse the full ICLP paper archive.