A remark on higher order RUE-resolution with EXTRUE

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/217206We show that a prominent counterexample for the completeness of first order RUE-resolution does not apply to the higher order RUE-resolution approach EXTRUE.3 pagesArtificial IntelligenceLogic in Computer ScienceF.4.1; I.2.3A remark on higher order RUE-resolution with EXTRUEtext