Verification of Prolog Programs Using an Extension of Execution.

Tadashi Kanamori, Hirohisa Seki

Browse the full ICLP paper archive.