You are about to access our book library "A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence) full version" .