DMCA

F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme (1989)

by Michael Kifer
Venue:ACM SIGMOD
Citations:194 - 9 self