Logic-Based Program Synthesis and TransformationFred Mesnard, Peter J. Stuckey · First published 2019Open the Tome
Principles and Practice of Constraint ProgrammingPeter J. Stuckey · First published 2008Open the Tome
Functional and Logic ProgrammingYukiyoshi Kameyama, Peter J. Stuckey · First published 2004Open the Tome
Computational Logic CL 2000 00John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey · First published 2000Open the Tome