Elsa L. Gunter Leonid Libkin OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. 641-650 1994 conf/dexa/1994 DEXA db/conf/dexa/dexa94.html#GunterL94 http://dx.doi.org/10.1007/3-540-58435-8_230