Author: Romania) Annual Conference on Logic and Reasoning (2nd 2000 Bucharest