P Aboulker, G Aubian, P Charbit - European Journal of Combinatorics, 2022 - Elsevier
A digraph is semicomplete if any two vertices are connected by at least one arc and is locally
semicomplete if the out-neighbourhood and in-neighbourhood of any vertex induce a …