Existentially Quantified Typed as a Database Viewing Mechanism.

Richard Connor, Alan Dearle, Ronald Morrison, Fred Brown

Browse the full EDBT paper archive.