Systems, methods and apparatus for verification of knowledge-based systems Grant US-7752608-B1 United States of America 06 Jul 2010