RelBib: Qal wa-ḥomer and theory of massive-parallel proofs https://relbib.de/Record/165052580X/Details