"A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial ..."

Michael Thielscher (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics