Proof Simplification for Model Generation and Its Applications.

Miyuki Koshimura, Ryuzo Hasegawa

Browse the full LPAR paper archive.