Title: Progress Report 1 January 1986 - 31 December 1986 Department of Computer and Information Science