APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

Zhou, Neng-Fa, et al. Constraint Solving and Planning with Picat. Springer International Publishing : Imprint: Springer, 2015.