Peter J. StuckeyBooksLogic ProgrammingFunctional and Logic ProgrammingPrinciples and Practice of Constraint ProgrammingConstraints and databasesLogic-Based Program Synthesis and TransformationComputational Logic CL 2000 00Author data: Open Library