APA (7th ed.) Citation

Roscoe, P., & Pragyesh. (2009). Local search in model checking.

Chicago Style (17th ed.) Citation

Roscoe, P., and Pragyesh. Local Search in Model Checking. 2009.

MLA (9th ed.) Citation

Roscoe, P., and Pragyesh. Local Search in Model Checking. 2009.

Warning: These citations may not always be 100% accurate.