APA-Zitierstil (7. Ausg.)
Lulčo, M., & Kvasnička, V. (2008). Použitie programu JAPE k dôkazu formúl výrokovej a predikátovej logiky. STU v Bratislave FIIT.
Chicago-Zitierstil (17. Ausg.)
Lulčo, Michal, und Vladimír Kvasnička. Použitie Programu JAPE K Dôkazu Formúl Výrokovej a Predikátovej Logiky. STU v Bratislave FIIT, 2008.
MLA-Zitierstil (9. Ausg.)
Lulčo, Michal, und Vladimír Kvasnička. Použitie Programu JAPE K Dôkazu Formúl Výrokovej a Predikátovej Logiky. STU v Bratislave FIIT, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.