ΑΣΛΑΝΗΣ-ΠΕΤΡΟΥ ΡΩΜΑΝΟΣ, The expressive power of second-order datalog under the well-founded semantics of negation, 2022,