Hajime Sawamura, Toshiro Minami, Kaoru Yocota, Kyoko Ohashi. A Logic Programming Approach to Specifying Logics and Constructing Proofs. In ICLP. pages 405-424, 1990.
@inproceedings{SawamuraMYO90,
title = {A Logic Programming Approach to Specifying Logics and Constructing Proofs},
author = {Hajime Sawamura and Toshiro Minami and Kaoru Yocota and Kyoko Ohashi},
year = {1990},
tags = {logic programming, programming, logic, systematic-approach},
researchr = {https://researchr.org/publication/SawamuraMYO90},
cites = {0},
citedby = {0},
pages = {405-424},
booktitle = {ICLP},
}