Completeness and Decidability Results for First-Order Clauses with Indices.

Abdelkader Kersani, Nicolas Peltier

Browse the full CADE paper archive.