Matías Menni More exact completions that are toposes. 187-203 2002 116 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal116.html#Menni02