@inproceedings{SLP-1986-Miller86,
	author        = "Dale Miller",
	booktitle     = "{Proceedings of the Third Symposium on Logic Programming}",
	isbn          = "0-8186-0728-9",
	note          = "long version: JLP 6(1&2): 79-108",
	pages         = "106--114",
	publisher     = "{IEEE-CS}",
	title         = "{A Theory of Modules for Logic Programming}",
	year          = 1986,
}