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