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

a service of Schloss Dagstuhl - Leibniz Center for Informatics