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

Michael Kifer, Georg Lausen

Browse the full SIGMOD paper archive.