Subsumption Algorithms for Three-Valued Geometric Resolution (Logical Methods in Computer Science, 2018)