13. IJCAI 1993: Chambéry, France - Executable Modal and Temporal Logics

maintained by Schloss Dagstuhl LZI at University of Trier