Logic in computer science. LICS 1996. Proceedings - IEEE Symposium om logic in computer science (11 1996 New Brunswick) (Los Alamitos IEEE, 1996)