TY  - RPRT
TI  - On synthesizing Skolem functions for first order logic formulae
AU  - S. Akshay
AU  - Supratik Chakraborty
PY  - 2022
UR  - https://arxiv.org/abs/2102.07463
ID  - 2102.07463
ER  -