S-Narrowing for Constructor Systems.

Adrin Riesco, Juan Rodrguez-Hortal

Browse the full ICTAC paper archive.