Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]