Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings Bertot Yves Heftet / 1999 / Engelsk
