Patricia M. Hill John W. Lloyd John C. Shepherdson Properties of a Pruning Operator. 99-143 1990 1 J. Log. Comput. 1 db/journals/logcom/logcom1.html#HillLS90 http://dx.doi.org/10.1093/logcom/1.1.99