Angi Voß and Werner Karbach "Mechanizing KADS models of expertise with MODEL-K"

Languages mentioned

• MODEL-K {1993}