Properties of a pruning operator (1990)

by P M Hill, J W Lloyd, J C Shepherdson
Venue:Journal of Logic and Computation