A Logic Programming Approach to Specifying Logics and Constructing Proofs. - Hajime Sawamura; Toshiro Minami; Kaoru Yocota; Kyoko Ohashi (ICLP, 1990)