Pietro Baroni Paul E. Dunne Massimiliano Giacomin Computational Properties of Resolution-based Grounded Semantics. 683-689 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-119.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#BaroniDG09