Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. - Ján Komara; Paul J. Voda (TABLEAUX, 1995)

On Quasitautologies. - Ján Komara; Paul J. Voda (TABLEAUX, 1997)

Theorems af Péter and Parsons in Computer Programming. - Ján Komara; Paul J. Voda (CSL, 1998)

Computer Programming as Mathematics in a Programming Language and Proof System CL. - Ján Komara; Paul J. Voda (TABLEAUX, 1998)

On nested simple recursion. - Ján Komara (Arch. Math. Log., 2011)

Efficient elimination of Skolem functions in first-order logic without equality. - Ján Komara (CoRR, 2019)

On Herbrand Skeletons. - Paul J. Voda; Ján Komara (CoRR, 2019)

Extraction of Efficient Programs in IΣ1-arithmetic. - Ján Komara; Paul J. Voda (CoRR, 2019)

Efficient elimination of Skolem functions in LK h. - Ján Komara (Arch. Math. Log., 2022)

Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions. - Ján Komara (CoRR, 2022)

Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming. - Ján Komara (CoRR, 2022)