Mathematical Foundations of Computer Science 1996 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings Penczek Wojciech Heftet / 1996 / Engelsk
Second-order Quantifier Elimination Foundations, Computational Aspects and Applications Gabbay Dov Heftet / 2008 / Engelsk