A logic programming approach to hybrid knowledge representation. - Sangki Han; D. W. Shin; Y. Kim; Y. P. Jun; Seung Ryoul Maeng; Jung Wan Cho (Appl. Artif. Intell., 1988)