Identity, Equivalence and Isomorphism of Problems. - Pavel Materna (J. Symb. Log., 1969)

Theory of types and data description. - Pavel Materna (Kybernetika, 1978)

An intensional approach to questions. - Pavel Materna (Kybernetika, 1979)

Applying simple theory of types to data bases. - Pavel Materna; Jaroslav Pokorný (Inf. Syst., 1981)

The Nature Of Understanding From The Logical Point Of View. - Pavel Materna (COLING, 1982)

Information capability of a database schema. - Marie Duzí; Pavel Materna; Zdenko Stanícek (Kybernetika, 1988)

Rules of Existential Quantification into "Intensional Contexts". - Pavel Materna (Stud Logica, 1997)

Concepts and Ontologies. - Marie Duzí; Pavel Materna (EJC, 2008)

Temporal Aspects of Knowledge and Information. - Marie Duzí; Ales Horák; Pavel Materna (RASLAN, 2009)

Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic - Marie Duzí; Bjørn Jespersen; Pavel Materna (Springer, 2010)