"Machine-independent ""and"" and ""or"" parallel execution of logic programs"

Balkrishna Ramkumar. "Machine-independent ""and"" and ""or"" parallel execution of logic programs". PhD thesis, University of Illinois Urbana-Champaign, USA, 1991. [doi]

Abstract

Abstract is missing.