An abstract machine to implement or-and parallel PROLOG efficiently

Abstract
No abstract available

This publication has 1 reference indexed in Scilit: