> KBSS
> STILL
> IDA
> AIC
Vyskočil, J.
VYSKOČIL, J. MaLeCoP - Machine Learning Connection Prover. [Software] 2011.