title: report on the 4th international conference on mobile data management. authors: nan. venue: nan. year: 2003
title: 9th international conference on automated deduction. authors: e lusk , r overbeek. venue: nan. year: 1989.0