A hybrid scheme for detecting AND-parallelism in prolog programs.

Hong Xia, Wolfgang K. Giloi

Browse the full ICS paper archive.