Sierra A., M. 2007. Basic logic for true and false LBVF. Ingeniería y Ciencia. 3, 6 (Dec. 2007), 135–171.