ΠΡΩΤΟΠΑΠΑΣ ΕΥΑΓΓΕΛΟΣ, The Expressive Power of Higher-order Datalog: An XSB Implementation, 2018,