Practical Bigraphs via Subgraph Isomorphism. - Blair Archibald; Kyle Burns; Ciaran McCreesh; Michele Sevegnani (CP, 2021)