Fixpoint semantics for logic programming — A survey (0)

by Melvin Fitting
Venue:Theoretical Computer Science