APA Style

Zhou, N. et al (2015). Constraint solving and planning with Picat . Cham: Springer.

MLA Style

Zhou, Neng-Fa. et al. "Constraint solving and planning with Picat". Cham: Springer, 2015. Text.