Dahl, V. “The 1993 International Logic Programming Symposium”. AI Magazine, vol. 15, no. 4, Dec. 1994, p. 73, doi:10.1609/aimag.v15i4.1114.