Saito, K. (1992). TGHC: Timed guarded Horn clauses. Proceedings [1992] The Ninth TRON Project Symposium, 122-135. https://doi.org/10.1109/TRON.1992.313260
Citácia podle Chicago (17th ed.)Saito, K. "TGHC: Timed Guarded Horn Clauses." Proceedings [1992] The Ninth TRON Project Symposium 1992: 122-135. https://doi.org/10.1109/TRON.1992.313260.
Citácia podľa MLA (8th ed.)Saito, K. "TGHC: Timed Guarded Horn Clauses." Proceedings [1992] The Ninth TRON Project Symposium, 1992, pp. 122-135, https://doi.org/10.1109/TRON.1992.313260.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..