Léo Valais, Jim E. Newton, Didier Verna. Implementing Baker's SUBTYPEP Decision Procedure. In Nicolas Neuss, editor, Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019. pages 12-19, ELSAA, 2019. [doi]
Abstract is missing.