Authors: Wirth, CP

Citation: Cp. Wirth, Full first-order sequent and tableau calculi with preservation of solutions and the liberalized delta-rule but without Skolemization, LECT N A I, 1761, 2000, pp. 282-297