2021-03-262006-01-0101200380http://hdl.handle.net/10784/27356Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternasarticle2021-03-26Sierra, Manuel Hernando