Unifizierbare zweischichtige Grammatiken. - Igor Varsek (1985)

Übersetzung logischer Programmiersprachen. - Igor Varsek (GI Jahrestagung (1), 1986)

Taxonomical Reasoning in Logic Programming. - Igor Varsek (ÖGAI, 1987)

Extended Prolog for Order-Sorted Resolution. - Martin Huber; Igor Varsek (SLP, 1987)

KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. - Alexander Bockmayr; Christoph Brzoska; Peter Deussen; Igor Varsek (Inform. Forsch. Entwickl., 1991)