@inproceedings{PLDI-1994-HentenryckCC,
	author        = "Pascal Van Hentenryck and Agostino Cortesi and Baudouin Le Charlier",
	booktitle     = "{Proceedings of the 15th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/178243.178479",
	editor        = "Vivek Sarkar and Barbara G. Ryder and Mary Lou Soffa",
	isbn          = "0-89791-662-X",
	note          = "long version: JLP 22(3): 179-209 (1995)",
	pages         = "337--348",
	publisher     = "{ACM}",
	title         = "{Type Analysis of Prolog Using Type Graphs}",
	year          = 1994,
}