Rolf Drechsler;Bernd Becker;Stefan Ruppertz
-;-;-
The Taming of the (X)OR
CL '00 Proceedings of the First International Conference on Computational Logic