APA 6th Edition

Maleković, M. (1993). Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System. Journal of computing and information technology, 1 (2), 123-131. Retrieved from https://hrcak.srce.hr/150506

---

MLA 8th Edition

Maleković, Mirko. "Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System." Journal of computing and information technology, vol. 1, no. 2, 1993, pp. 123-131. https://hrcak.srce.hr/150506. Accessed 21 Dec. 2024.

---

Chicago 17th Edition

Maleković, Mirko. "Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System." Journal of computing and information technology 1, no. 2 (1993): 123-131. https://hrcak.srce.hr/150506

---

Harvard

Maleković, M. (1993). 'Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System', Journal of computing and information technology, 1(2), pp. 123-131. Available at: https://hrcak.srce.hr/150506 (Accessed 21 December 2024)

---

Vancouver

Maleković M. Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System. Journal of computing and information technology [Internet]. 1993 [cited 2024 December 21];1(2):123-131. Available from: https://hrcak.srce.hr/150506

---

IEEE

M. Maleković, "Soundness of Formal Systems for Relational Database Dependencies: Application of Tableau Deductive System", Journal of computing and information technology, vol.1, no. 2, pp. 123-131, 1993. [Online]. Available: https://hrcak.srce.hr/150506. [Accessed: 21 December 2024]