Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt, U., & Nonnengart, A. (1993). Modalities in Knowledge Representation. In C., Rowles, H., Liu, & N., Foo (Eds.), AI '93 (pp. 249-254). Singapore: World Scientific.