PP-2001-17: P. Blackburn, J. Kamps, M. Marx Situation Calculus as Hybrid Logic: First Steps 1.Full Text, 2.Abstract. < Back
