Ράπτης, Δ., Reductions of search space in RUE-Resolution theorem proving, 237-241, 1997, Πανεπιστήμιο Κύπρου,