Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn Clauses. - Jiro Tanaka; Fumio Matono (FGCS, 1992)