TY  - BOOK
TI  - Journal of Logic, Language and Information
PB  - Springer 
KW  - Computer Science
UR  - https://link.springer.com/journal/10849/volumes-and-issues
ER  -