Inductive Mercury Programming.

Barnaby Fisher, James Cussens

Browse the full ILP paper archive.