Source: https://ceur-ws.org/Vol-2654/paper52.pdf