Contextual hypotheses and semantics of logic programs

Open in new window