Authors: Demri, S Gore, R

Citation: S. Demri et R. Gore, An O((n center dot log n)(3))-time transformation from Grz into decidable fragments of classical first-order logic, LECT N A I, 1761, 2000, pp. 152-166