François Fages, Massimo Paltrinieri
A Generic Type System for CLP(chi)
ICLP, 1998.
@inproceedings{JICSLP-1998-FagesP, author = "François Fages and Massimo Paltrinieri", booktitle = "{Proceedings of the Joint International 15th Conference and Symposium on Logic Programming}", isbn = "0-262-60031-5", pages = "353--354", publisher = "{MIT Press}", title = "{A Generic Type System for CLP(chi)}", year = 1998, }