https://rdcu.be/dNWZp (Publisher version)
Lengauer, T. (1981). Black-white Pebbles and Graph Separation. Acta Informatica, 16, 465-475. doi:10.1007/BF00264496.