An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.

Akikazu Takeuchi Kazuko Takahashi An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. 173-209 1989 conf/concur/1989 Concurrency: Theory, Language, And Architecture db/conf/concur/concur1989.html#TakeuchiT89 http://dx.doi.org/10.1007/3-540-53932-8_51