See http://www.cs.uu.nl/staff/bransen.html.