Characterising simple negotiation as distributed agent-based theorem-proving-a preliminary report | IEEE Conference Publication | IEEE Xplore