Logic Machine Architecture: Inference Mechanisms

A graph-theoretic approach for timing analysis and its implementation

IEEE Transactions on Computers - Special Issue on Real-Time Systems

Algorithms, Datastructures, and other Issues in Efficient Automated Deduction

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Components of verification technology

ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop

Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18--21, 1985

ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop

Automated reasoning: real uses and potential uses

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2

Semantic paramodulation for Horn sets

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2