TY  - BOOK
AU  - Mॱller, Gert H ed.
AU  - Oberschelp, Arnold ed.
TI  - ?ISILC Logic Conference
T2  - Lecture Notes in Computer Science
U1  - 005.131 
ER  -