Restricted Versions of the Compactness Theorem. - Adam Kolany; Piotr Wojtylak (Reports Math. Log., 1991)

On the Logic of Hypergraphs. - Adam Kolany (Kurt Gödel Colloquium, 1993)

Hypergraphs and the Intuitionistic Propositional break Calculus. - Adam Kolany (Reports Math. Log., 1993)

Satisfiability on hypergraphs. - Adam Kolany (Stud Logica, 1993)

Consequence Operations Based on Hypergraph Satisfiability. - Adam Kolany (Stud Logica, 1997)

Grabowski Lattices are Generated by Graphs. - Adam Kolany (Reports Math. Log., 2002)

Davis-Putnam Style Rules for Deciding Property S. - Robert Cowen; Adam Kolany (Fundam. Informaticae, 2007)

Reversed Resolution in Reducing General Satisfiability Problem. - Adam Kolany (Stud Logica, 2010)