What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. - Robert Demolombe; Erwan Hamon (AAMAS, 2002)