title: model and verification of a data manager based on aries. authors: d kuo. venue: acm trans . database syst .. year: 1996.0
title: model and verification of a data manager based on aries . acms anthology. authors: nan. venue: nan. year: nan