FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover.

Cezary Kaliszyk, Josef Urban

Browse the full LPAR paper archive.