M. López Astorga, «Disyunciones exclusivas con tres términos desde el cálculo de predicados de primer orden», OI, vol. 15, n.º 34, pp. 168-182, jun. 2024.