Pavol Návrat: What is the knowledge that knowledge based programming is based on?: An analysis. PPIG 1996: 7