Links for acace-coherence-checker