Perlis D.  1993.  Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.