Paolo Ferraris Causal Theories as Logic Programs. 35-44 2006 conf/wlp/2006 WLP http://www.kr.tuwien.ac.at/wlp06/08-final.ps.gz db/conf/wlp/wlp2006.html#Ferraris06