Implementation-Oriented Testing and Reliability Determination of Prolog Programs.

Alireza Azem, Fevzi Belli, Oliver Jack

Browse the full SEKE paper archive.