@Inproceedings{Meyer94KI
,Author   = {G. Meyer}
,Title    = "{Logisches Programmieren mit Typhierarchien --
                open-world vs. closed-world}"
,Booktitle= "18. Deutsche Jahrestagung f. K{\"u}nstliche Intelligenz,
            Workshops"
,AddresS  = "Saarbr{\"u}cken"
,Editor   = {J. Kunze and H. Stoyan}
,Year     = 1994
,Month    = sep
,PublisherNNN= "GI, Ges. f. Informatik"}