SIERRA A., M. Basic logic for true and false LBVF. Ingeniería y Ciencia, v. 3, n. 6, p. 135–171, 12 Dec.2007.