Logic programming with setsOn the complexity of queries in the logical data modelOn the expressive power of logic programming languages with setsSubsumption for XML TypesThe logical data model