V. Dahl and A. J. García, “Programación Lógica”, TRI, no. 2, pp. 1–64, Jun. 2018, doi: 10.17345/triangle2.1-64.