Christos Faloutsos
AT&T Bell Laboratories and Univ. of Maryland at College Park
Schema mapping verification: the spicy way
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology