Working Group Report: Negation, Functions and Construction in Rule-Based Languages for Complex Objects.

Peter Sander Simone Rehm Jan Van den Bussche Working Group Report: Negation, Functions and Construction in Rule-Based Languages for Complex Objects. 239-253 1989 FMLDO db/conf/fmldo/fmldo89.html#SanderRB89