To Trim or Not to Trim?

Published in: ICLP-Workshops on Implementation of Logic Programming Systems (1993)