First-Order Spectra with One Binary Predicate.

Arnaud Durand, Solomampionona Ranaivoson

Browse the full CSL paper archive.