Esther M. Arkin
-
Nonconstructive tools for proving polynomial-time decidability
Journal of the ACM (JACM)
On the Circuit Cover Problem for Mixed Graphs
Combinatorics, Probability and Computing