TY  - DATA
AU  - Hantao Zhang
AU  - Jian Zhang
TI  - Logic in Computer Science
SN  - 9789819798162
PB  - Springer Nature Singapore
KW  - Computer Science
UR  - https://link.springer.com/openurl?genre=book&isbn=978-981-97-9816-2
ER  -