1. Constraint handling rules with binders, patterns and generic quantification*. Issue 5 (22nd August 2017) Authors: SERRANO, ALEJANDRO; HAGE, JURRIAAN Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 992 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗