Decision procedures for BDI logics (1998)

by A S Rao, M P Georgeff
Venue:J. Logic and Computation