First-Order Tableaux with Sorts - Weidenbach, C (J of the IGPL, 1995)