CASYS
International Journal of Computing Anticipatory Systems
Ichiro Nagasaka and Yuzuru Kakuda
Proofs of Nonconsequence as Abstract Design in Hyperproof