Peter J. Stuckey · 6 obras en el catálogoObrasLogic ProgrammingConstraints and databasesComputational Logic CL 2000 00Principles and Practice of Constraint ProgrammingLogic-Based Program Synthesis and TransformationFunctional and Logic Programming