Cita APA (7a ed.)
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.
Cita Chicago Style (17a ed.)
Lulčo, Michal, y Vladimír Kvasnička. Použitie Programu JAPE K Dôkazu Formúl Výrokovej a Predikátovej Logiky. STU v Bratislave FIIT, 2008.
Cita MLA (9a ed.)
Lulčo, Michal, y Vladimír Kvasnička. Použitie Programu JAPE K Dôkazu Formúl Výrokovej a Predikátovej Logiky. STU v Bratislave FIIT, 2008.
Precaución: Estas citas no son 100% exactas.