@inproceedings{1057762,
    title = "On the completeness of theory-based variant of resolution",
    author = "Formisano, Andrea",
    year = "1999",
    pages = "97-101",
    booktitle = "Β' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}