Machine independent AND and OR parallel execution of logic programs. I. The binding environment | IEEE Journals & Magazine | IEEE Xplore