Predicate Specialization for Definitional Higher-Order Logic Programs.

Antonis Troumpoukis, Angelos Charalambidis

Browse the full LOPSTR paper archive.