Ribeiro, C. International Workshop on Processing Declarative Knowledge. AIMag 1992, 13, 27.