A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation