Your search returned the following document:

1. A Concept for the Implementation of LSE Narrowing
   Andreas Werner, Alexander Bockmayr, and Stefan Krischer
   In: 9.~Workshop Logische Programmierung, Hagen, 1993