["Andorra-Prolog: An Integration of Prolog and Committed

Choice Languages", S. Haridi et al, Intl Conf Fifth Gen Comp

Sys 1988, ICOT 1988].