Jaakko Hintikka Model Minimization - An Alternative to Circumscription. 1-13 1988 4 J. Autom. Reasoning 1 db/journals/jar/jar4.html#Hintikka88