author = {Manuel Kauers and Peter Paule},
title = {{A Computer Proof of Moll's Log-Concavity Conjecture}},
language = {english},
journal = {Proceedings of the AMS},
volume = {135},
number = {12},
pages = {3847--3856},
isbn_issn = {ISSN 0002-9939},
year = {2007},
month = {December},
refereed = {yes},
length = {9}