Goal directed reasoning in clausal logic with equality - Moser, Maximilian J. (CS Press, 1996)
Zugl.: München, Techn. Univ., Diss., 1996