PolyCoP: A Connection Prover For (Possibly) Any Logical Language. - Renan Fernandes; Fred Freitas; Ivan Varzinczak; Pedro P. M. Farias (RuleML+RR (Companion), 2024)