Implementing Baker's SUBTYPEP Decision Procedure. - Léo Valais; Jim E. Newton; Didier Verna (ELS, 2019)