least fixpoint semantics of a logic program
scientific article