Stem karl$ (all stems)
- SEKE-1994-Landes #design #knowledge-based #named
- DesignKARL — A language for the design of knowledge-based systems (DL), pp. 78–85.
- ICRE-1993-FenselAS #analysis #semantics
- Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL (DF, JA, RS), pp. 267–286.
- The Markgraf Karl Refutation Procedure (MKRP) (NE, HJO), pp. 681–682.