Kathrin Stark, Steven Schäfer, Jonas Kaiser. Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions. In Assia Mahboubi, Magnus O. Myreen, editors, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019. pages 166-180, ACM, 2019. [doi]
@inproceedings{StarkSK19, title = {Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions}, author = {Kathrin Stark and Steven Schäfer and Jonas Kaiser}, year = {2019}, doi = {10.1145/3293880.3294101}, url = {https://doi.org/10.1145/3293880.3294101}, researchr = {https://researchr.org/publication/StarkSK19}, cites = {0}, citedby = {0}, pages = {166-180}, booktitle = {Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019}, editor = {Assia Mahboubi and Magnus O. Myreen}, publisher = {ACM}, isbn = {978-1-4503-6222-1}, }