Robert A. Kowalski Is Logic Really Dead or Only Just Sleeping? 2-3 2001 conf/iclp/2001 ICLP http://link.springer.de/link/service/series/0558/bibs/2237/22370002.htm db/conf/iclp/iclp2001.html#Kowalski01