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

by Melvin Fitting
Citations:106 - 0 self