Declarative integration of object-oriented programming and knowledge representation. - Steven Kim Wallis (1991)