@inproceedings{SIGMOD-1989-SunKN,
	author        = "Xian-He Sun and Nabil Kamel and Lionel M. Ni",
	booktitle     = "{Proceedings of the 19th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD89/P185.PDF",
	doi           = "10.1145/67544.66943",
	pages         = "185--192",
	title         = "{Solving Implication Problems in Database Applications}",
	year          = 1989,
}