Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann
On Termination, Confluence and Consistent CHR-based Type Inference
ICLP, 2014.
@article{ICLP-J-2014-DuckHS,
author = "Gregory J. Duck and Rémy Haemmerlé and Martin Sulzmann",
doi = "10.1017/S1471068414000246",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "619--632",
title = "{On Termination, Confluence and Consistent CHR-based Type Inference}",
volume = 14,
year = 2014,
}