A Logical Database Query Language with Object Identity and Strong Typing

Paris C. Kanellakis, Serge Abiteboul. A Logical Database Query Language with Object Identity and Strong Typing. In ICLP. pages 675-692, 1989.

Abstract

Abstract is missing.