DMCA

Computing the Least Fix-point Semantics of Definite Logic Programs Using (2009)

by Frédéric Besson , Thomas Jensen , Tiphaine Turpin , Inria Rennes Bretagne Atlantique , Inria Rennes Bretagne Atlantique