A kripke-kleene semantics for logic programs**
Under an Elsevier user license
open archive
Cited by (0)
- *
Work partially supported by NSF grant DCR-8304959.
Copyright © 1985 Published by Elsevier Inc.
Work partially supported by NSF grant DCR-8304959.