Source: http://ceur-ws.org/Vol-2563/aics_17.pdf