Cita APA (7a ed.)

Vašíček, O., Arias, J., Fiedor, J., Gupta, G., Hall, B., Křena, B., . . . Vojnar, T. (2024). Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.

Cita Chicago Style (17a ed.)

Vašíček, Ondřej, Joaquin Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Křena, Brian Larson, Sarat Chandra Varanasi, y Tomáš Vojnar. Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. 2024.

Cita MLA (9a ed.)

Vašíček, Ondřej, et al. Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. 2024.