An operational semantics of and-or-parallel logic programming language, ANDOR-II - Takeuchi, Akikazu; Takahashi, Kazuko (1989)