Detail

Publication date: 01/01/2010

Synthesizing Advanced Transaction Models Using the Situation Calculus