Gilles Dowek What Is a Theory? 50-64 2002 conf/stacs/2002 STACS http://link.springer.de/link/service/series/0558/bibs/2285/22850050.htm db/conf/stacs/stacs2002.html#Dowek02