Pruning the Search Space of Logic Programs. - Antonio Brogi; Cosimo Guarino (ELP, 1996)