Adrián Riesco, Juan Rodríguez-Hortalá. S-Narrowing for Constructor Systems. In Abhik Roychoudhury, Meenakshi D'Souza, editors, Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings. Volume 7521 of Lecture Notes in Computer Science, pages 136-150, Springer, 2012. [doi]
Abstract is missing.