APA-Zitierstil (7. Ausg.)

Castellini, C., Giunchiglia, E., & Tacchella, A. (2003). SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial intelligence, 147(1), 85-117. https://doi.org/10.1016/S0004-3702(02)00375-2

Chicago-Zitierstil (17. Ausg.)

Castellini, Claudio, Enrico Giunchiglia, und Armando Tacchella. "SAT-based Planning in Complex Domains: Concurrency, Constraints and Nondeterminism." Artificial Intelligence 147, no. 1 (2003): 85-117. https://doi.org/10.1016/S0004-3702(02)00375-2.

MLA-Zitierstil (9. Ausg.)

Castellini, Claudio, et al. "SAT-based Planning in Complex Domains: Concurrency, Constraints and Nondeterminism." Artificial Intelligence, vol. 147, no. 1, 2003, pp. 85-117, https://doi.org/10.1016/S0004-3702(02)00375-2.