A Logic Programming Approach to Specifying Logics and Constructing Proofs.

Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi

Browse the full ICLP paper archive.