Heuristic Search vs. Exhaustive Search. - Laurent Siklóssy; Vesko Marinov (IJCAI, 1971)

Breadth-First Search: Some Surprising Results. - Laurent Siklóssy; A. Rich; Vesko Marinov (Artif. Intell., 1973)

Computer Understanding of Mathematical Proofs. - Vesko Marinov (IJCAI, 1977)