Nontrivial Lower Bounds for some NP-Problems on Directed Graphs. - Solomampionona Ranaivoson (CSL, 1990)

First-Order Spectra with one Binary Predicate. - Arnaud Durand 001; Solomampionona Ranaivoson (Theor. Comput. Sci., 1996)