Catherine Dubois, Alain Giorgetti, Richard Genestier
Tests and Proofs for Enumerative Combinatorics
TAP, 2016.
@inproceedings{TAP-2016-DuboisGG, author = "Catherine Dubois and Alain Giorgetti and Richard Genestier", booktitle = "{Proceedings of the 10th International Conference on Tests and Proofs}", doi = "10.1007/978-3-319-41135-4_4", isbn = "978-3-319-41134-7", pages = "57--75", publisher = "{Springer}", title = "{Tests and Proofs for Enumerative Combinatorics}", year = 2016, }