Pascal Brisset Olivier Ridoux Continuations in Lambda-Prolog. 27-43 1993 ICLP db/conf/iclp/iclp93.html#BrissetR93