Measuring Coverage of Prolog Programs Using Mutation Testing. - Alexandros Efremidis; Joshua Schmidt; Sebastian Krings; Philipp Körner (WFLP, 2018)

Solving B Constraints with Goal-directed Answer Set Programming. - Alexandros Efremidis (ICLP Workshops, 2021)