Fixpoint semantics for logic programming -- a survey (2000)

by Melvin Fitting
Citations:127 - 0 self