@BOOK{Schmitt92b,
        AUTHOR             = {Peter~H.~Schmitt},
        PUBLISHER          = {Springer Verlag},
        TITLE              = {Theorie der logischen Programmierung},
        YEAR               = {1992}
}