More on trees and finite satisfiability: the taming of terms. - Miodrag Kapetanovic; Aleksandar Krapez (Notre Dame J. Formal Log., 1987)

Prover 91 - A Parallel Theorem Prover (Extended Abstract). - Aleksandar Krapez; Miodrag Kapetanovic; Zoran Ognjanovic; Tatjana Petrovic (TABLEAUX, 1992)