.

Published in: ICLP-Workshops on Implementation of Logic Programming Systems (1993)