https://home.deec.uc.pt/~jlobo/jlobo/index.html