Reliability determination of Prolog programs.

Alireza Azem, Fevzi Belli

Browse the full SEKE paper archive.