http://bndev.sourceforge.net
Using the Inference Wizard (3)
n
n
n
n
n
n
n
(Example of Cliques in L-S algorithm)
n
Courtesy of Haipeng Guo