An Extension of the Acid Rain Theorem (1996)

by Z Hu, H Iwasaki, M Takeichi
Venue:In Fuji Int. Workshop on Func. and Logic Programming