Free Variable Tableaux for a Many Sorted Logic with Preorders.

Antonio Gavilanes Javier Leach Susana Nieva Free Variable Tableaux for a Many Sorted Logic with Preorders. 102-116 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#GavilanesLN96