2021-03-262006-01-0101200380https://hdl.handle.net/10784/27356spaArboles de forzamiento semántico para el sistema básico con afirmación y negación alternasinfo:eu-repo/semantics/article2021-03-26Sierra, Manuel Hernando