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