Quasi-terminating logic programs for ensuring the termination of partial evaluation.

Germn Vidal

Browse the full PEPM paper archive.