TY - CONF
TI - Reductions of search space in RUE-Resolution theorem proving
AU - Ράπτης, Δ.
PY - 1997
SP - 237-241
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -