Conrado Borraz-Sánchez, D. Klabjan, E. Pasalic, Molham Aref 8 1. 9. 2018. SolverBlox: algebraic modeling in datalog Declarative Logic Programming Preuzmi PDF + 1 Computer Science
