Communication formalisms for automated theorem proving tools, in (2003)

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