Incorporating Generalization Heuristics into Verification of Prolog Programs.

Hirohisa Seki

Browse the full IJCAI paper archive.