Karbach W., Voss A., "Model-K for prototyping and strategic reasoning at the knowledge level", pp721-745

David, J.P., Krivine, J.P.Simmons R. (eds), (1993) David, J.P., Krivine, J.P.Simmons R. (eds), ""Second Generation Expert Systems"" Springer-Verlag, 1993.  

Languages mentioned MODEL-K {1993}