Johan Montelius Khayri A. M. Ali An And/Or-Parallel Implementation of AKL. 31-52 1996 14 New Generation Comput. 1 db/journals/ngc/ngc14.html#MonteliusA96