TY  - RPRT
TI  - Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
AU  - Emanuele De Angelis
AU  - Wim Vanhoof
PY  - 2021
UR  - https://arxiv.org/abs/2107.10160
ID  - 2107.10160
ER  -