Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics

Xs are for Trajectory Evaluation, Booleans are for Theorem Proving

CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Structural Embeddings: Mechanization with Method

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Classical type theory

Handbook of automated reasoning

A rigorous environment for development of concurrent systems

Nordic Journal of Computing