Renwei Li Luís Moniz Pereira Verónica Dahl Refining Action Theories through Abductive Logic Programming. 123-138 http://link.springer.de/link/service/series/0558/bibs/1471/14710123.htm 1997 conf/lpkr/1997 LPKR db/conf/lpkr/lpkr97.html#LiPD97