TY  - BOOK
ED  -  CSL. Computer Science Logic. Workshop ( 4 ; 1990 ; Heidelberg )
TI  -  Computer Science Logic  4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990  proceedings
T2  -  Lecture Notes in Computer Science (LNCS)\\Springer\
SN  -  0-387-54487-9;  3-540-54487-9
CY  -  Berlin;  Heidelberg;  New York
KW  -  lucrări conferințe
AV  -  III 13325
ER  -