Termination of Narrowing in Left-Linear Constructor Systems.

Germn Vidal

Browse the full FLOPS paper archive.