Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
2020 ◽
Vol 330
◽
pp. 126-144
2014 ◽
Vol E97.A
(2)
◽
pp. 717-718
◽