DMCA

An O((n log n)³)-time transformation from Grz into decidable fragments of classical first-order logic (1998)

by Stéphane Demri , Rajeev Goré