Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 - Lloyd, John W. (ESPRIT basic reaearch series ;, 1990)