Domain independence and the relational calculus (1994)

by R Hull, J Su
Venue:Acta Informatica