Communication Formalisms for Automated Theorem Proving Tools (2003)

by G Sutcliffe, J Zimmer, S Schulz
Venue:In: Proc. of IJCAI-18 Workshop on Agents and Automated Reasoning