TY  - RPRT
TI  - Prolog for Verification, Analysis and Transformation Tools
AU  - Michael Leuschel
PY  - 2020
DO  - 10.4204/eptcs.320.6
UR  - https://arxiv.org/abs/2008.02933
ID  - 2008.02933
ER  -