Data Independence with Generalised Predicate Symbols.

Ranko Lazic, Bill Roscoe

Browse the full PDPTA paper archive.