Article thumbnail

The witness properties and the semantics of the Prolog cut

Publisher: 'Cambridge University Press (CUP)'
DOI identifier: 10.1017/S1471068402001540
OAI identifier:
Provided by: MUCC (Crossref)
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.