TFLPL: Programación con lógica de términos. - José Martín Castro-Manzano; L. Ignacio Lozano-Cobos (Res. Comput. Sci., 2018)