Source: http://ceur-ws.org/Vol-2493/regular1.pdf