@article{DMTCS_2005_special_249_a25,
     author = {Merlini, D. and Sprugnoli, R. and Verri, M. C.},
     title = {Human and constructive proof of combinatorial identities: an example from {Romik}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {DMTCS Proceedings vol. AD, International Conference on Analysis of Algorithms},
     year = {2005},
     doi = {10.46298/dmtcs.3377},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3377/}
}