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

by Melvin Fitting
Citations:130 - 0 self