(Eng: clause management system) Een methode voor het bijhouden van waarheden die de standaard systemen waarin waarheden, die gebaseerd zijn op aannames, worden bijgehouden generaliseert door de clausules niet tot een enkel atoom te beperken. Gevonden op https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng: clause management system) Een methode voor het bijhouden van waarheden die de standaard systemen waarin waarheden, die gebaseerd zijn op aannames, worden bijgehouden generaliseert door de clausules niet tot een enkel atoom te beperken.