TY  - RPRT
TI  - Learning Semantic Structure through First-Order-Logic Translation
AU  - Akshay Chaturvedi
AU  - Nicholas Asher
PY  - 2024
UR  - https://arxiv.org/abs/2410.03203
ID  - 2410.03203
ER  -