ERQ: Controlled Inference and Instruction Techniques for DBMS Query Languages.

J. Longstaff

Browse the full SIGMOD paper archive.