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