MLA

Groza. Modelling Puzzles In First Order Logic. Springer International Publishing, 2021.

APA

Groza, G. (2021). Modelling Puzzles in First Order Logic. Springer International Publishing.

Chicago

Groza Modelling Puzzles In First Order Logic. : Springer International Publishing, 2021.