Work

A kripke-kleene semantics for logic programs*

FWCI: 7.396
Cites: 14
Cited by: 527
Related to: 10