Home

Gabriel_M.__Kuper



Logic programming with sets

On the complexity of queries in the logical data model

On the expressive power of logic programming languages with sets

Subsumption for XML Types

The logical data model