@inproceedings{Seidl97Disjunctive, author = {Helmut Seidl and Christian Fecht}, title = {Disjunctive {C}ompletion {I}s {N}ot "{O}ptimal"}, booktitle = {ILPS}, year = 1997, pages = {408}, }