Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract).

Fangqing Dong, Laks V. S. Lakshmanan

Browse the full LPNMR paper archive.