A Logic-based Architecture for Knowledge Management. - Damian Black; John Manley (IJCAI, 1987)