Source: http://ceur-ws.org/Vol-3184/MK_paper1.pdf