This is the EPTCS style from
https://github.com/EPTCS/style/releases/download/v1.7.0/eptcsstyle.zip


    Makarius
    06-Nov-2022
