M. Sierra A., “Basic logic for true and false LBVF”, ing.cienc., vol. 3, no. 6, pp. 135–171, Dec. 2007.