Michael Freund Supracompact Inference Operations. 59-73 1990 conf/nil/1990 Nonmonotonic and Inductive Logic db/conf/nil/nil1990.html#Freund90