Source: http://ceur-ws.org/Vol-3092/p06.pdf