Analysing logic programs with delay for downward-closed properties (0)

by A J Heaton, P M Hill, A M King