swh:1:snp:285d0862cad82752ceda4e56bdf44014e05fbf49
Branch name Release name Target Message Date
refs/tags/trakhtenbrot_ijcar trakhtenbrot_ijcar 707e41f Referenced by the IJCAR 2020 paper 27 October 2020, 11:00:08 UTC
refs/tags/H10-LMCS H10-LMCS c74841f Repository version corresponding to the LMCS submission of the H10 paper 07 March 2020, 12:17:29 UTC
back to top