Information inference for free, ICFP00 (2000)

by F Potter, S Conchon