Robert Demolombe Pilar Pozos Parra Integrating State Constraints and Obligations in Situation Calculus. 2006 conf/lanmr/2006 LA-NMR http://www.ceur-ws.org/Vol-217/p3.pdf db/conf/lanmr/lanmr2006.html#DemolombeP06