The Logic of Representing Dependencies by Directed Graphs. - Judea Pearl; Thomas Verma (AAAI, 1987)

Causal networks: semantics and expressiveness. - Thomas Verma; Judea Pearl (UAI, 1988)

d-Separation: From Theorems to Algorithms. - Dan Geiger; Thomas Verma; Judea Pearl (UAI, 1989)

Conditional independence and its representations. - Judea Pearl; Dan Geiger; Thomas Verma (Kybernetika, 1989)

Equivalence and synthesis of causal models. - Thomas Verma; Judea Pearl (UAI, 1990)

Identifying independence in bayesian networks. - Dan Geiger; Thomas Verma; Judea Pearl (Networks, 1990)

A Theory of Inferred Causation. - Judea Pearl; Thomas Verma (KR, 1991)

An Algorithm for Deciding if a Set of Observed Independencies Has a Causal Explanation. - Thomas Verma; Judea Pearl (UAI, 1992)

Deciding Morality of Graphs is NP-complete. - Thomas Verma; Judea Pearl (UAI, 1993)

On the Equivalence of Causal Models - Tom S. Verma; Judea Pearl (CoRR, 2013)

Equivalence and Synthesis of Causal Models. - Thomas Verma; Judea Pearl (Probabilistic and Causal Inference, 2022)