conf/sigmod/89 Michael Kifer Georg Lausen F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. 134-146 1989 SIGMOD Conference db/conf/sigmod/sigmod89.html#KiferL89 http://doi.acm.org/10.1145/67544.66939 db/conf/sigmod/KiferL89.html SIGMOD89/P134.PDF journals/vldb/AbiteboulB95 conf/dbpl/AbiteboulG87 journals/jlp/Ait-KaciN86 conf/pods/Bancilhon88 conf/pods/BancilhonK86 conf/pods/BeeriNRST87 conf/jcdkb/BeeriNT88 journals/tcs/BunemanJO91 ... journals/iandc/Cardelli88 ... conf/slp/ChenKW89 conf/pods/ChenW89 journals/cacm/Codd70 conf/aaai/EtheringtonR83 journals/cacm/FikesK85 ... ... conf/oopsla/KhoshafianC86 conf/pods/KiferW89 conf/vldb/KrishnamurthyN88 conf/pods/KuperV84 ... conf/icdt/LecluseR88 conf/sigmod/LecluseRV88 books/sp/Lloyd87 ... ... conf/oopsla/MaierSOP86 ... conf/sigmod/MaierW81 ... ... journals/tois/Motro86 journals/sigmod/BernsteinDDGGJLLMNRRSSSS89 ... ... journals/jsc/SmolkaA89 ... ... conf/ijcai/TouretzkyHT87 ... ... ...