Publicación:

Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas