@inproceedings{SIGMOD-1978-Nicolas,
	author        = "Jean-Marie Nicolas",
	booktitle     = "{Proceedings of the Eighth ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD78/P040.PDF",
	doi           = "10.1145/509252.509269",
	pages         = "40--46",
	publisher     = "{ACM}",
	title         = "{First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies}",
	year          = 1978,
}