Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates.

Timm Lampert, Anderson Nakano

Browse the full CADE paper archive.