@inproceedings{SIGMOD-1989-KiferL,
	author        = "Michael Kifer and Georg Lausen",
	booktitle     = "{Proceedings of the 19th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD89/P134.PDF",
	doi           = "10.1145/67544.66939",
	pages         = "134--146",
	title         = "{F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme}",
	year          = 1989,
}