Stav dette: Proceedings of second seminar on UDC and mechanized information systems /