A Decidable Fragment of the Elementary Theory of Relations and Some Applications.

Domenico Cantone, Vincenzo Cutello

Browse the full ISSAC paper archive.