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]
@inproceedings{ValaisNV19,
title = {Implementing Baker's SUBTYPEP Decision Procedure},
author = {Léo Valais and Jim E. Newton and Didier Verna},
year = {2019},
doi = {10.5281/zenodo.2646982},
url = {https://doi.org/10.5281/zenodo.2646982},
researchr = {https://researchr.org/publication/ValaisNV19},
cites = {0},
citedby = {0},
pages = {12-19},
booktitle = {Proceedings of the 12th European Lisp Symposium (ELS 2019), Genova, Italy, April 1-2, 2019},
editor = {Nicolas Neuss},
publisher = {ELSAA},
isbn = {978-2-9557474-3-8},
}