Sierra A., M. 2005. Lógica básica con afirmación alterna. Ingeniería y Ciencia. 1, 1 (Jun. 2005), 115–129.