TY  - RPRT
TI  - Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System
AU  - Marco Maggesi
AU  - Massimo Nocentini
PY  - 2020
UR  - https://arxiv.org/abs/2007.04691
ID  - 2007.04691
ER  -