(1)
Dahl, V. The 1993 International Logic Programming Symposium. AIMag 1994, 15, 73.