TY - BOOK AU - IEEE Symposium om logic in computer science (11 TI - Logic in computer science. LICS 1996. Proceedings SN - 0780336542 U1 - 005 PY - 1996/// CY - Los Alamitos PB - IEEE ER -