Stem clark$ (all stems)
3 papers:
- FLOPS-2008-AlvezL #semantics
- A Generalization of the Folding Rule for the Clark-Kunen Semantics (JÁ, PL), pp. 180–194.
- CAiSE-2004-GePL #analysis #database
- Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment (XG, FP, RL), pp. 234–247.
- ICLP-1995-Fung #abduction
- Abduction with Clark Completion (THF), p. 817.