Myhill-Nerode methods for hypergraphs (2013)

by R van Bevern, M R Fellows, S Gaspers, F A Rosamond
Venue:In ISAAC, volume 8283 of Lecture Notes in Computer Science