"A Logician Looks at Expert Systems: Areas for Mathematical Research ..."

Anil Nerode (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics