Some Tools for an Inference Laboratory (ATINF).

Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade

Browse the full CADE paper archive.