@inproceedings{PPDP-2000-Fages,
	author        = "François Fages",
	booktitle     = "{Proceedings of the Second International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/351268.351274",
	pages         = "44",
	title         = "{Concurrent constraint programming and linear logic}",
	year          = 2000,
}