Sierra A., Manuel. “Basic Logic for True and False LBVF”. Ingeniería y Ciencia 3, no. 6 (December 12, 2007): 135–171. Accessed May 2, 2024. https://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/445.