"FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover."

Cezary Kaliszyk, Josef Urban (2015)
maintained by Schloss Dagstuhl LZI, founded at University of Trier