DECLARE and SDS: Early Efforts to Commercialize Deductive Database Technology - Werner Kießling; Helmut Schmidt; Werner Strauß; Gerhard Dünzinger (VLDB J., 1994)