• Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu,
  XML with Data Values: Typechecking Revisited
  Published in JCSS, 2003
  
• Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu,
  XML with Data Values: Typechecking Revisited
  In PODS, pp. 138-149, 2001
  
• Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu,
  Typechecking XML Views of Relational Databases
  In LICS, pp. 421-430, 2001