"Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended ..."

Mengchi Liu (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics