Efficacy and Planning in Ophthalmic Surgery - A Vision of Logical Programming - Maia, Nuno; Mariano, Manuel; Marreiros, Goreti; Vicente, Henrique; Neves, José (2017)