Mecanização Da Classificação Decimal Universal: O Projeto LEMME. rbb 1973, 1 (1), 21-33.