Shalom Tsur: Applications of deductive database systems. Compcon 1990: 511-518