An Extension Of The Acid Rain Theorem (1996)

by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
Venue:In T Ida, A Ohori, and M Takeichi, eds, Proceedings 2nd Fuji Int Workshop on Functional and Logic Programming, Shonan Village