On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs.

Jrgen Avenhaus, Carlos Lora-Senz

Browse the full LPAR paper archive.