Source: http://ceur-ws.org/Vol-1003/94.pdf