TY - CONF
TI - On the completeness of theory-based variant of resolution
AU - Formisano, Andrea
PY - 1999
SP - 97-101
T2 - Β' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -