PX: A Computational Logic (1988)

by S Hayashi, H Nakano