Source: http://ceur-ws.org/Vol-2989/long_paper39.pdf