title: formal semantics and analysis of object queries. authors: gavin m. bierman. venue: sigmod conference. year: 2003
title: formal semantics and analysis of object queries. authors: g. m. bierman. venue: international conference on management of data. year: 2003