Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns, Key-Sun Choi. Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language. IEEE Trans. Software Eng., 18(3):216-224, 1992. [doi]
Abstract is missing.