OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.

Elsa L. Gunter, Leonid Libkin

Browse the full DEXA paper archive.