Source: http://ceur-ws.org/Vol-2992/icaiw_wkmit_1.pdf