F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/sigmod/KiferL89, crossref={DBLP:conf/sigmod/89}, title={F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme}, pages={134-146}, year={1989}, booktitle={SIGMOD Conference}, url={http://www.informatik.uni-trier.de/~ley/db/conf/sigmod/sigmod89.html#KiferL89}, ee={http://doi.acm.org/10.1145/67544.66939}, ee={db/conf/sigmod/KiferL89.html}, cdrom={SIGMOD89/P134.PDF}, author={Michael Kifer and Georg Lausen} cite={DBLP:journals/vldb/AbiteboulB95 , DBLP:conf/dbpl/AbiteboulG87 , DBLP:journals/jlp/Ait-KaciN86 , DBLP:conf/pods/Bancilhon88 , DBLP:conf/pods/BancilhonK86 , DBLP:conf/pods/BeeriNRST87 , DBLP:conf/jcdkb/BeeriNT88 , DBLP:journals/tcs/BunemanJO91 , DBLP:journals/iandc/Cardelli88 , DBLP:conf/slp/ChenKW89 , DBLP:conf/pods/ChenW89 , DBLP:journals/cacm/Codd70 , DBLP:conf/aaai/EtheringtonR83 , DBLP:journals/cacm/FikesK85 , DBLP:conf/oopsla/KhoshafianC86 , DBLP:conf/pods/KiferW89 , DBLP:conf/vldb/KrishnamurthyN88 , DBLP:conf/pods/KuperV84 , DBLP:conf/icdt/LecluseR88 , DBLP:conf/sigmod/LecluseRV88 , DBLP:books/sp/Lloyd87 , DBLP:conf/oopsla/MaierSOP86 , DBLP:conf/sigmod/MaierW81 , DBLP:journals/tois/Motro86 , DBLP:journals/sigmod/BernsteinDDGGJLLMNRRSSSS89 , DBLP:journals/jsc/SmolkaA89 , DBLP:conf/ijcai/TouretzkyHT87} }\end{bibtex}