@inproceedings{1046897,
    title = "Reductions of search space in RUE-Resolution theorem proving",
    author = "Ράπτης, Δ.",
    year = "1997",
    pages = "237-241",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}