Authors: Aguilera, G de Guzman, IP Ojeda-Aciego, M Valverde, A

Citation: G. Aguilera et al., Reductions for non-clausal theorem proving, THEOR COMP, 266(1-2), 2001, pp. 81-112

Authors: de Guzman, IP Ojeda-Aciego, M Valverde, A

Citation: Ip. De Guzman et al., Implicates and reduction techniques for temporal logics, ANN MATH A, 27(1-4), 1999, pp. 3-23