A new declarative semantics of Flat Guarded Horn Clauses - Levi, Giorgio 1942- (Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report, 1988)