Pascal Hitzler, Anthony Karel Seda. Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases. In Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.
Abstract is missing.