"Consciousness and Automated Reasoning."

Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics