V. Dahl, “The 1993 International Logic Programming Symposium”, AIMag, vol. 15, no. 4, p. 73, Dec. 1994.