Negation and Control in Logic Programs (1986)

by L Naish