A Deduction Procedure for First Order Programs.

Denis Lugiez

Browse the full ICLP paper archive.