@ARTICLE{STH2004,
 AUTHOR        = {Schmidt, Renate A. and Tishkovsky, Dmitry and
 Hustadt, Ullrich},
 TITLE         = {Interactions between Knowledge, Action,
 and Commitment within Agent Dynamic Logic},
 JOURNAL       = {Studia Logica},
 YEAR          = {2004},
 VOLUME        = {78},
 NUMBER        = {3},
 PAGES         = {381--415},
 MONTH         = dec,
}