SIERRA A., M. Basic logic for true and false LBVF. Ingeniería y Ciencia, [S. l.], v. 3, n. 6, p. 135–171, 2007. Disponível em: https://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445. Acesso em: 24 nov. 2024.