Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt, U. (1994). Do we need the closed-world assumption in knowledge representation? In J. Kunze, & H. Stoyan (Eds.), {KI-94} Workshops: Extended Abstracts (pp. 293-294). Bonn, Germany: Gesellschaft für Informatik.