Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.

Antonio Gavilanes Javier Leach Pedro J. Martín Susana Nieva Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. 365-379 1996 conf/aisc/1996 AISMC db/conf/aisc/aismc1996.html#GavilanesLMN96