@inproceedings{bncod01,
  author = "Niki Trigoni and Gavin Bierman",
  booktitle = "18th British National Conference on Databases (BNCOD)",
  title = "Inferring the Principal Type and the Schema Requirements of an OQL Query",
  year = "2001",
}