Author: International Conference onAlgebraic and Logic Programming (1st 1988 Gaussig, Germany)