Title: The AND/OR process model for parallel interpretation of logic programs
Subjects: Computer programming, Symbolic and mathematical Logic