Federico Banti José Júlio Alferes Antonio Brogi Operational Semantics for DyLPs. 43-54 2005 conf/epia/2005 EPIA http://dx.doi.org/10.1007/11595014_5 db/conf/epia/epia2005.html#BantiAB05