C. Ribeiro, “International Workshop on Processing Declarative Knowledge”, AIMag, vol. 13, no. 1, p. 27, Mar. 1992.