Source: https://ceur-ws.org/Vol-600/paper5.pdf