Recomputation based Implementations of And-Or Parallel Prolog

Gopal Gupta, Manuel V. Hermenegildo. Recomputation based Implementations of And-Or Parallel Prolog. In FGCS. pages 770-782, 1992.

Abstract

Abstract is missing.