TY - CONF
TI - Unknown but not undefined?
AU - Heule, Dirk van
AU - Hoogewijs, Albert
PY - 1997
SP - 175-179
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -