Constraint Solving and Planning with Picat

MLA

Zhou, Neng-Fa, Jonathan Fruhman, and Håkan Kjellerstrand. Constraint Solving and Planning with Picat. Springer International Publishing, 2015.

APA

Zhou, N., Fruhman, J., & Kjellerstrand, H. (2015). Constraint Solving and Planning with Picat. Springer International Publishing.

Chicago

Zhou, Neng-Fa, Jonathan Fruhman, and Håkan Kjellerstrand. Constraint Solving and Planning with Picat. : Springer International Publishing, 2015.