Helmut Seidl Christian Fecht Disjuntive Completion Is Not "Optimal". 408 1997 ILPS db/conf/slp/slp97.html#SeidlF97