Mengchi Liu Relationlog: A Typed Extension to Datalog with Sets and Tuples (Extended Abstract). 83-97 1995 ILPS db/conf/slp/slp95.html#Liu95