A Logical Database Query Language with Object Identity and Strong Typing.

Paris C. Kanellakis, Serge Abiteboul

Browse the full ICLP paper archive.