An investigation of design and execution alternatives for the committed choice non-deterministic logic languages

Rajiv Trehan. An investigation of design and execution alternatives for the committed choice non-deterministic logic languages. PhD thesis, University of Edinburgh, UK, 1989. [doi]

Abstract

Abstract is missing.