@inproceedings{CIKM-1993-WuS,
	author        = "Ping Wu and Stanley Y. W. Su",
	booktitle     = "{Proceedings of the Second International Conference on Information and Knowledge Management}",
	cdrom         = "CIKM1993/P164.pdf",
	doi           = "10.1145/170088.170123",
	isbn          = "0-89791-626-3",
	pages         = "164--173",
	publisher     = "{ACM}",
	title         = "{Rule Validation Based on Logical Deduction}",
	year          = 1993,
}