Return to Article Details A SEMANTICS OF LOGIC PROGRAMS WITH PARAMETERS Download Download PDF